LinkedList stmts = new LinkedList();
Iterator i = b.getInstrIterator();
int curPC = addr;
while (i.hasNext()) {
Instr instr = (Instr)i.next();
wcet += instr.getCycles();
CodeRegion r = CodeMap.getCodeForInstr(curPC, instr);
curPC += instr.getSize();
if (!i.hasNext()) { // is this the last instruction?
// inject an assignment to nextPC
stmts.add(new VarAssignStmt("nextPC", new Literal.IntExpr(curPC)));
stmts.addAll(r.getCode());
stmts.add(new VarAssignStmt("cyclesConsumed",