while_statement ::= "WHILE" expression "DO" statement { ";" statement } "END"
This rule is called by -> statement
-> statement