Member predicate FunctionObject::neverReturns

Whether this function never returns. This is an approximation.

predicate neverReturns()