Member predicate Function :: isOverride
Holds if this function is declared with the override
specifier.
predicate
isOverride
(
)