Predicate HashedButNoHash::hashtable

predicate hashtable(Class c)