Use EQUALP as equality testing predicate