Member predicate Overridable::overridesOrImplementsOrEquals
Holds if this member overrides or implements (reflexively, transitively)
that member.
predicate overridesOrImplementsOrEquals(Overridable that)Holds if this member overrides or implements (reflexively, transitively)
that member.
predicate overridesOrImplementsOrEquals(Overridable that)