this.cfg = cfg; this.methodGen = methodGen; this.typeDataflow = typeDataflow; this.vnaDataflow = vnaDataflow; this.valueNumberToParamMap = new HashMap<ValueNumber, Integer>(); this.paramValueNumberSet = new BitSet(); this.numParams = new SignatureParser(methodGen.getSignature()).getNumParameters(); this.topBit = numParams; this.bottomBit = numParams + 1;  buildValueNumberToParamMap();
	public UnconditionalDerefAnalysis(ReverseDepthFirstSearch rdfs) {		super(rdfs);	}