case Instruction::Invoke:
        {
            InvokeInst *iI = cast<InvokeInst>(I);
            // delay adding control-flow checks on conditional branches
            normalExecBrs.push_back(iI->getNormalDest());
            unwindExecBrs.push_back(iI->getUnwindDest());
        }break;
        case Instruction::Br: {
            BranchInst *BI = cast<BranchInst>(I);
            if (BI->isUnconditional())
                break;

            // delay adding control-flow checks on conditional branches
            brs.push_back(BI);
        }
            break;