/**
* Visit a while statement node
*
* @param node the while statement node
* @return result of the visit
*/
public Object visit(WhileStmt node) {
node.getBodyStmt().accept(this);
return null;
}
public Object visit(WhileStmt node) {
return layoutBinary("While", node.getPredExpr(), node.getBodyStmt());
}