@Override
    public void visitWhileStatement(@NotNull PsiWhileStatement statement) {
      super.visitWhileStatement(statement);
      check(statement);
    }
@Override
    public void visitWhileStatement(@NotNull PsiWhileStatement statement)