Member predicate CallableValue :: neverReturns
Holds if this callable never returns once called.
For example, sys.exit
predicate
neverReturns
(
)