Characteristic predicate BasicBlock::ExitBasicBlock::ExitBasicBlock

ExitBasicBlock()