When we split a basic block, there's a default branch to the newly created BB.