Do reflexivity check in assert mode if predicate is claimed to be equivalence relation.