Test opEquals for reflexivity, symmetry, and transitivity