@Override
    public void visitWhileStatement(@NotNull GrWhileStatement whileStatement) {
      super.visitWhileStatement(whileStatement);
      if (ControlFlowUtils.statementMayCompleteNormally(whileStatement)) {
        return;
      }
      if (ControlFlowUtils.statementContainsReturn(whileStatement)) {
        return;
      }
      registerStatementError(whileStatement);
    }
@Override
    public void visitWhileStatement(@NotNull GrWhileStatement whileStatement)