Congruence: solver for the simple case of equivalence (with no  congruence)