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