Characteristic predicate CFG::ConcreteControlFlowNode::ConcreteControlFlowNode

ConcreteControlFlowNode()