We should: - Reverse SSA - Eliminate / simplify phi nodes as much as possible
We should: