Holds if this function is declared with the final specifier.
predicate
isFinal
(
)