Characteristic predicate BasicBlock::BasicBlock

BasicBlock()