Predicate EqualsOrNotEquals::violates_equality_contract

predicate violates_equality_contract(ClassObject c, string present, string missing, FunctionObject method)