while_statement

while_statement ::= "WHILE" expression "DO" 
      statement { ";" statement } 
      "END" 

[rule list]
This rule is called by

-> statement