Member predicate Member::Virtualizable::isOverridableOrImplementable

Holds if this member can be overridden or implemented.

predicate isOverridableOrImplementable()