IsNullValueDataflow invDataflow,
	public NullDerefAndRedundantComparisonFinder(			ClassContext classContext,			Method method,			IsNullValueDataflow invDataflow,			NullDerefAndRedundantComparisonCollector collector) {				this.classContext = classContext;		this.method = method;		this.invDataflow = invDataflow;		this.collector = collector;		this.lineMentionedMultipleTimes = ClassContext.linesMentionedMultipleTimes(method);				this.redundantBranchList = new LinkedList<RedundantBranch>();		this.definitelySameBranchSet = new BitSet();		this.definitelyDifferentBranchSet = new BitSet();		this.undeterminedBranchSet = new BitSet();	}