this.valueNumberFactory = valueNumberFactory;
this.vnaDataflow = vnaDataflow;
	public UnconditionalValueDerefAnalysis(			ReverseDepthFirstSearch rdfs,			CFG cfg,			MethodGen methodGen,			ValueNumberFactory valueNumberFactory) {		super(rdfs);		this.cfg = cfg;		this.methodGen = methodGen;		this.valueNumberFactory = valueNumberFactory;	}