Make more passes preserve dominators (or state that they preserve dominators if