if (FIND_GUARANTEED_DEREFS) {
if (findGuaranteedDerefs) {
	public void execute() throws DataflowAnalysisException, CFGBuilderException {		// Do the null-value analysis		this.invDataflow = classContext.getIsNullValueDataflow(method);		this.vnaDataflow = classContext.getValueNumberDataflow(method);		if (FIND_GUARANTEED_DEREFS) {			if (DEBUG_DEREFS) {				System.out.println(						"Checking for guaranteed derefs in " +						classContext.getCFG(method).getMethodName());			}			this.uvdDataflow = classContext.getUnconditionalValueDerefDataflow(method);		}		// Check method and report potential null derefs and		// redundant null comparisons.		examineBasicBlocks();		if (FIND_GUARANTEED_DEREFS) {			examineNullValues();		}		examineRedundantBranches();	}