public static @NotNull List<StandardMethodContract> getMethodContracts(@NotNull PsiMethod method) {
    return getContractInfo(method).getContracts();
  }
public static @NotNull List<StandardMethodContract> getMethodContracts(@NotNull PsiMethod method)