Member predicate Member::Method::overridesOrInstantiates

Holds if this method either overrides m, or m is the source declaration of this method (and not equal to it).

predicate overridesOrInstantiates(Method m)