Move break-crit-edges before the predicate simplifier. Allows us to