Member predicate Exceptions::RaisingNode::viableExceptionalExit

Whether this exceptional exit is viable. That is, is it plausible that the scope s can be exited with exception raised at this point.

predicate viableExceptionalExit(Scope s, ClassObject raised)