Predicate ConstantExprs::aborting

A call to a function known not to return.

predicate aborting(FunctionCall c)