public void mergeInfo(Instruction instr, StackLocalInfo info) {
		if (instr.getTmpInfo() == null) {
			instr.setTmpInfo(info);
			info.instr = instr;
			info.enqueue();
		} else
			((StackLocalInfo) instr.getTmpInfo()).merge(info);
	}