Member predicate Overridable :: overrides
Holds if this member overrides another member.
predicate
overrides
(
)