Member predicate Member::Method::overrides

Holds if this method (directly) overrides the specified callable.

predicate overrides(Method m)