Iterator<BasicBlock> iter = cfg.getOutgoingDestinationsNotOfType(current, EXCEPTION).iterator();
BasicBlock target = iter.next();
assert (target != null && !iter.hasNext());
// System.out.println("BB " + curr.getID() + " is the last bb in the layout! Adding a jump to " + tgt._label);
current.addInstr(new JumpInstr(target.getLabel()));
}
}
}