@Override
 public void mutateMIRCondBranch(OPT_Instruction cb) {
   MIR_CondBranch.mutate(
       cb,
       IA32_JCC,
       MIR_CondBranch2.getCond1(cb),
       MIR_CondBranch2.getTarget1(cb),
       MIR_CondBranch2.getBranchProfile1(cb));
 }
 @Override
 public final void mutateMIRCondBranch(Instruction cb) {
   MIR_CondBranch.mutate(
       cb,
       PPC_BCOND,
       MIR_CondBranch2.getValue(cb),
       MIR_CondBranch2.getCond1(cb),
       MIR_CondBranch2.getTarget1(cb),
       MIR_CondBranch2.getBranchProfile1(cb));
 }