Next: for statements
Up: Applying the simplify algorithm
Previous: while statements
We consider the statement
where is an expression and is a statement.
and be the results of applying
the simplify algorithm to . If ,
the transformed version is just
where is the pre-translated version of .
Otherwise the transformed version is