Characteristic predicate Guards::GuardedControlFlowNode::GuardedControlFlowNode

GuardedControlFlowNode()