@Override
  public void visitWhileStatement(@NotNull GrWhileStatement statement) {
    enterScope();
    super.visitWhileStatement(statement);
    exitScope();
  }
@Override
  public void visitWhileStatement(@NotNull GrWhileStatement statement)