Specs are normalized before analasis. However, some of these steps make more sense after analysis. Now, when pretty-printing the normalized AST, internal variable names are exposed etc.
* Try to make pretty-printed AST as close to user spec as possible.
* Transformations after analysis could mess up the connection between analysis and AST, so we should be careful there.

Submitted by Hendrik van Antwerpen on 24 April 2017 at 13:27