Add AST PhiCollection node
Return the cfg block from flow.float()
Fix some references in reaching definitions
Add SSA computer class
Add a For node without basic blocks
Properly visit children in AST normalizer
Do away with unnecessary test for condition basic block
Update some references
Merge phis as nodes into the AST