this.dfs = dfs;
	public UnconditionalDerefAnalysis(			ReverseDepthFirstSearch rdfs,			CFG cfg,			MethodGen methodGen,			ValueNumberDataflow vnaDataflow,			TypeDataflow typeDataflow, DepthFirstSearch dfs) {		super(rdfs);		this.cfg = cfg;		this.methodGen = methodGen;		this.dfs = dfs;		//this.typeDataflow = typeDataflow;		this.vnaDataflow = vnaDataflow;		this.valueNumberToParamMap = vnaDataflow.getValueNumberToParamMap(methodGen.getSignature(), methodGen.isStatic());		this.numParams = new SignatureParser(methodGen.getSignature()).getNumParameters();		//this.topBit = numParams;		//this.bottomBit = numParams + 1;		if (DEBUG) System.out.println("Analyzing " + methodGen.getClassName() + "." + methodGen.getName() + " : " + methodGen.getSignature());	}