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