Characteristic predicate BasicBlocks::ConditionBlock::ConditionBlock

ConditionBlock()