Member predicate Member::Virtualizable::isOverridden

Holds if this member is overridden by some other member.

predicate isOverridden()