@Override
  public void visitSwitchStatement(@NotNull GrSwitchStatement statement) {
    enterScope();
    super.visitSwitchStatement(statement);
    exitScope();
  }
@Override
  public void visitSwitchStatement(@NotNull GrSwitchStatement statement)