Characteristic predicate BasicBlock::ConditionBlock::ConditionBlock

ConditionBlock()