Simplify, now that predsimplify depends on break-crit-edges.