if (DEBUG_DEREFS) { System.out.println( "Checking for guaranteed derefs in " + classContext.getCFG(method).getMethodName()); }
	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) {			this.uvdDataflow = classContext.getUnconditionalValueDerefDataflow(method);		}		// Check method and report potential null derefs and		// redundant null comparisons.		examineBasicBlocks();		if (FIND_GUARANTEED_DEREFS) {			examineNullValues();		}		examineRedundantBranches();	}