Member predicate FunctionObject::FunctionObject::neverReturns

Whether this function never returns. This is an approximation.

predicate neverReturns()