Member predicate Exceptions::RaisingNode::viableExceptionEdge

Whether it is considered plausible that ‘raised’ can be raised across the edge this-succ

predicate viableExceptionEdge(ControlFlowNode succ, ClassObject raised)