return new LockSet(valueNumberAnalysis.getMaxValue());
return new LockSet(valueNumberAnalysis.getNumValuesAllocated());
	public LockSet createFact() {		return new LockSet(valueNumberAnalysis.getMaxValue());	}