public static @NotNull List<? extends MethodContract> getMethodCallContracts(@NotNull PsiCallExpression call) {
    PsiMethod method = call.resolveMethod();
    return method == null ? Collections.emptyList() : getMethodCallContracts(method, call);
  }
public static @NotNull List<? extends MethodContract> getMethodCallContracts(@NotNull PsiCallExpression call)