Member predicate Member::Virtualizable::overrides

Holds if this member overrides another member.

predicate overrides()