Fix bug in addEquivalence