this.dfs = dfs;
	public UnconditionalValueDerefAnalysis(			ReverseDepthFirstSearch rdfs,			DepthFirstSearch dfs,			CFG cfg,			MethodGen methodGen,			ValueNumberDataflow vnaDataflow,			AssertionMethods assertionMethods			) {		super(rdfs);		this.dfs = dfs;		this.cfg = cfg;		this.methodGen = methodGen;		this.vnaDataflow = vnaDataflow;		this.assertionMethods = assertionMethods;		if (DEBUG) System.out.println("UnconditionalValueDerefAnalysis analysis " + methodGen.getClassName() + "." + methodGen.getName() + " : " + methodGen.getSignature());	}