Member predicate 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)