@NotNull
  public static List<StandardMethodContract> inferContracts(@NotNull PsiMethodImpl method) {
    return getInferenceData(method).contracts;
  }
@NotNull
  public static List<StandardMethodContract> inferContracts(@NotNull PsiMethodImpl method)