Add error checking for EquivalenceOp