dominators and ssa form 4723625