public Def availDef(final Def def) {
			final Def availDef = (Def) availDefs.get(def);

			if (SSAPRE.DEBUG) {
				System.out.println("        avail def for " + def + " is "
						+ availDef);
			}

			return availDef;
		}