Characteristic predicate ControlFlowGraph::ConditionNode::ConditionNode

ConditionNode()