examineNullValues();
if (FIND_GUARANTEED_DEREFS) { examineNullValues(); }
	public void execute() throws DataflowAnalysisException, CFGBuilderException {		// Do the null-value analysis		this.invDataflow = classContext.getIsNullValueDataflow(method);		// Check method and report potential null derefs and		// redundant null comparisons.		examineBasicBlocks();		examineNullValues();		examineRedundantBranches();	}