public void setDef(final Expr expr, final Def def) {
			if (SSAPRE.DEBUG) {
				System.out.println("        setting def for " + expr + " to "
						+ def);
			}

			if (def != null) {
				defs.put(expr, def);
			} else {
				defs.remove(expr);
			}
		}