return new UnconditionalValueDerefSet(valueNumberFactory.getNumValuesAllocated());
return new UnconditionalValueDerefSet(vnaDataflow.getAnalysis().getNumValuesAllocated());
	public UnconditionalValueDerefSet createFact() {		return new UnconditionalValueDerefSet(valueNumberFactory.getNumValuesAllocated());	}