Characteristic predicate ControlFlowGraph::ControlFlow::Internal::PreBasicBlocks::ConditionBlock::ConditionBlock

ConditionBlock()