Characteristic predicate DataFlow::ExceptionalFunctionReturnNode::ExceptionalFunctionReturnNode

ExceptionalFunctionReturnNode()