Member predicate RaisingNode::viableExceptionalExit_objectapi
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_objectapi(Scope s, ClassObject raised)