void printValueNumbers(final PrintWriter pw) {
		if (pw == null) {
			return;
		}

		final Iterator iter = values.iterator();

		pw.println("Value Numbers mapped to constants\n");

		for (int i = 0; iter.hasNext(); i++) {
			final Object o = iter.next();
			if (o != null) {
				pw.println(i + " -> " + o);
			}
		}
	}