public static @Nullable PsiAnnotation findContractAnnotation(@NotNull PsiMethod method) {
    return AnnotationUtil.findAnnotationInHierarchy(method, Collections.singleton(ORG_JETBRAINS_ANNOTATIONS_CONTRACT));
  }
public static @Nullable PsiAnnotation findContractAnnotation(@NotNull PsiMethod method)