this.dfs = dfs;
	public UnconditionalValueDerefAnalysis(			ReverseDepthFirstSearch rdfs,			CFG cfg,			MethodGen methodGen,			ValueNumberDataflow vnaDataflow,			AssertionMethods assertionMethods			) {		super(rdfs);		this.cfg = cfg;		this.methodGen = methodGen;		this.vnaDataflow = vnaDataflow;		this.assertionMethods = assertionMethods;	}