Characteristic predicate DataFlow::ExceptionalInvocationReturnNode::ExceptionalInvocationReturnNode

ExceptionalInvocationReturnNode()