void conflictsWith(LocalInfo l) {
			if (shadow != null) {
				getReal().conflictsWith(l);
			} else {
				l = l.getReal();
				if (!conflictingLocals.contains(l)) {
					conflictingLocals.addElement(l);
					l.conflictingLocals.addElement(this);
				}
			}
		}