boolean first = true;
boolean firstLoc = true;
	public String toString() {		StringBuffer buf = new StringBuffer();		buf.append('[');		for (int i = 0; i < numValueNumbersInMethod; i++)  {			if (!valueNumberSet.get(i)) {				continue;			}			buf.append('{');			buf.append(i);			buf.append(':');			BitSet derefLocationSet = getDerefLocationSet(i);			boolean first = true;			for (int j = 0; j < 65536; j++) {				if (derefLocationSet.get(j)) {					if (first) {						first = false;					} else {						buf.append(',');					}					buf.append(j);				}			}			buf.append('}');		}		buf.append(']');		return buf.toString();	}