Predicate signature InputSig::isAbnormalExitType

Holds if t is an abnormal exit type out of a CFG scope.