Predicate HashedButNoHash::eqNoHash

A class that defines an equals method but no hashCode method.

predicate eqNoHash(Class c)