Predicate PointsTo::PointsTo::API::function_never_returns

INTERNAL – Use FunctionObject.neverReturns() instead. Whether function func never returns. Slightly conservative approximation, this predicate may be false for a function that can never return.

predicate function_never_returns(FunctionObject func)