Member predicate Flow::ControlFlowNode::isExceptionalExit

Whether the scope may be exited as a result of this node raising an exception

predicate isExceptionalExit(Scope s)