Add name attribute to phi nodes
Properly inject phi nodes in AST and return AST from cf pipeline
Improve AST viz aesthetics
Simplify for -> while rewrite