Characteristic predicate Flow::BasicBlock::BasicBlock

BasicBlock()