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