check for unimplemented rules in propagate equalities.
2 files changed