Member predicate Member::Virtualizable::isOverride

Holds if this member has the modifier override.

predicate isOverride()