resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);
resultInfo.addAssignment(insn, result); primaryState.put(result);