Coalescences must be applied to the unsimplified graph in the same order 
they were found by the iterative coalescing algorithm - otherwise
the vreg rewrite mapping will be wrong and badness will ensue.