Member predicate Member::Virtualizable::overridesOrImplementsOrEquals

Holds if this member overrides or implements (reflexively, transitively) that member.

predicate overridesOrImplementsOrEquals(Virtualizable that)