Predicate DefineEqualsWhenAddingFields::readsOwnField

predicate readsOwnField(Method m)