Member predicate Overridable :: isOverridden
Holds if this member is overridden by some other member.
predicate
isOverridden
(
)