correct detection of equivalence relation violations