Member predicate Method::isOverridden

Holds if this member is overridden by some other member.

predicate isOverridden()