return definitelyNullSet.toString();
StringBuffer buf = new StringBuffer(); boolean first = true;  buf.append("{");  for (int i = 0; i < numValueNumbers; i++)  { NullnessValue val = getNullnessValue(i); if (val.isDefinitelyNull() || val.isDefinitelyNotNull()) { if (first) { first = false; } else { buf.append(", "); } buf.append(i); buf.append("->"); buf.append(val.toString()); } }  buf.append("}");  return buf.toString();
	public String toString() {		if (isTop()) {			return "[TOP]";		} else if (isBottom()) {			return "[BOTTOM]";		} else {			return definitelyNullSet.toString();		}	}