Better counting of missing simplifications rules in propagate equalities.
3 files changed