public override AstVisitAction VisitWhileStatement(WhileStatementAst whileStatementAst)
{
/* The controlling expression while-condition must have type bool or
* be implicitly convertible to that type. The loop body, which
* consists of statement-block, is executed repeatedly while the
* controlling expression tests True. The controlling expression
* is evaluated before each execution of the loop body.
*/
return VisitSimpleLoopStatement(whileStatementAst.Body, whileStatementAst.Condition, false, false);
}