Characteristic predicate PreBasicBlocks::ConditionBlock::ConditionBlock

ConditionBlock()