if (u.getInstruction().getInstruction() instanceof RET) {
// System.err.println(u);
// We can only follow _one_ successor, the one after the
// JSR that was recently executed.
RET ret = (RET) u.getInstruction().getInstruction();
ReturnaddressType t = (ReturnaddressType) u.getOutFrame(oldchain)
.getLocals()
.get(ret.getIndex());
InstructionContext theSuccessor = cfg.contextOf(t.getTarget());
// Sanity check
InstructionContext lastJSR = null;
int skip_jsr = 0;