Predicate ConstantExprs::abortingFunction

Functions that are known not to return. This is normally because the function exits the program or longjmps to another location.

predicate abortingFunction(Function f)