Definition
do_stm : do outer_stm while ( exp )
Purpose
A do_stm represents a loop that is checked for continuation at the end of the loop body. It always executes at least once, as opposed to the while_stm, which may never execute.
Semantics
The exp must be of a boolean-compatible type.
