More invariants in Rewrite unification.