Predecessor and Dominator Phis

Here, I discuss several styles of phi nodes and my way to create SSA from an AST.