Characteristic predicate DataFlow::ValueNode::ValueNode

ValueNode()