Fix for iff terms over equalities between the same term and differing constants.