We then do a whole pile of passes over each method body.
"At this point we are done looking at the source code; we're now passing over the``annotated parse tree""many times, and rewriting it as we go."