Make a small While program that uses at least one control-flow construct.

Make a parse tree for the program.

Make a While3Addr version by traversing the tree and applying the translation rules. Note, just use a typed version of the parse tree,