In BasicBlock::splitBasicBlock, just use islist::splice to move the instructions,