Member predicate Virtualizable::isVirtual

Holds if this member is virtual.

predicate isVirtual()