Member predicate Callable::Method::isOverridden

Holds if this member is overridden by some other member.

predicate isOverridden()