Predicate InterProceduralPointsTo::neverReturns

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.