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