public static boolean hasExplicitContractAnnotation(@NotNull PsiMethod method) {
    return getContractInfo(method).isExplicit();
  }
public static boolean hasExplicitContractAnnotation(@NotNull PsiMethod method)