Predicate DefineEqualsWhenAddingFields::checksReferenceEquality

Holds if method em implements a reference equality check.

predicate checksReferenceEquality(EqualsMethod em)