@Override
      public int checkForProblems(@NotNull final MemberInfo member) {
        return hasSuperMethods(member) ? ERROR : OK;
      }
@Override
      public int checkForProblems(@NotNull final MemberInfo member)