return new CompactLocationNumbering(cfg);
DepthFirstSearch  dfs = getDepthFirstSearch(method); ValueNumberDataflow vnaDataflow = getValueNumberDataflow(method); CompactLocationNumbering compactLocationNumbering = getCompactLocationNumbering(method);  DefinitelyNullSetAnalysis analysis = new DefinitelyNullSetAnalysis(dfs, vnaDataflow, compactLocationNumbering); DefinitelyNullSetDataflow dataflow = new DefinitelyNullSetDataflow(cfg, analysis);  dataflow.execute();  return dataflow;
		protected CompactLocationNumbering analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {			if (method.getCode() == null) {				return null;			}						CFG cfg = getCFG(method);			return new CompactLocationNumbering(cfg);		}