2.3.13 While

If B is an expression of type BOOLEAN and S is a statement:

    WHILE B DO S END

is shorthand for:

    LOOP IF B THEN S ELSE EXIT END END