Firstly, having a BranchInst isn't exclusive with having an unwind_to.