public void removeOnetimeLocals() {
		cond = cond.removeOnetimeLocals();
		if (type == FOR) {
			if (initInstr != null)
				initInstr.removeOnetimeLocals();
			incrInstr.removeOnetimeLocals();
		}
		super.removeOnetimeLocals();
	}