@Override
    public void visitMethod(@NotNull PsiMethod method) {
      super.visitMethod(method);
      if (method.hasModifierProperty(PsiModifier.ABSTRACT)) {
        return;
      }
      if (!RecursionUtils.methodMayRecurse(method)) {
        return;
      }
      if (!RecursionUtils.methodDefinitelyRecurses(method)) {
        return;
      }
      registerMethodError(method);
    }
@Override
    public void visitMethod(@NotNull PsiMethod method)