Member predicate Virtualizable::isOverridableOrImplementable

Holds if this member can be overridden or implemented.

predicate isOverridableOrImplementable()