Faster propagate equalities
7 files changed