Adding control flow simplification pass to compensate for lack of phi.