AnalysisFeatures.TRACK_UNCONDITIONAL_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS);
AnalysisFeatures.TRACK_GUARANTEED_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS);
	public NullDerefAndRedundantComparisonFinder(			ClassContext classContext,			Method method,			NullDerefAndRedundantComparisonCollector collector) {				this.classContext = classContext;		this.method = method;		this.collector = collector;		this.findGuaranteedDerefs = classContext.getAnalysisContext().getBoolProperty(				AnalysisFeatures.TRACK_UNCONDITIONAL_VALUE_DEREFS_IN_NULL_POINTER_ANALYSIS);		this.lineMentionedMultipleTimes = ClassContext.linesMentionedMultipleTimes(method);				this.redundantBranchList = new LinkedList<RedundantBranch>();		this.definitelySameBranchSet = new BitSet();		this.definitelyDifferentBranchSet = new BitSet();		this.undeterminedBranchSet = new BitSet();	}