Work on the semantic rules for loops.
Work on the semantic rules for loops.