@Override
    public void visitSwitchStatement(@NotNull GrSwitchStatement switchStatement) {
      super.visitSwitchStatement(switchStatement);
      final GrCaseSection[] caseSections = switchStatement.getCaseSections();
      for (GrCaseSection caseSection : caseSections) {
        if (caseSection.isDefault()) {
          return;
        }
      }
      registerError(switchStatement.getFirstChild());
    }
@Override
    public void visitSwitchStatement(@NotNull GrSwitchStatement switchStatement)