Member predicate FunctionObject :: neverReturns
Whether this function never returns. This is an approximation.
predicate
neverReturns
(
)