Member predicate Virtualizable::isOverridden

Holds if this member is overridden by some other member.

predicate isOverridden()