protected CompactLocationNumbering analyze(Method method) throws CFGBuilderException, DataflowAnalysisException { if (method.getCode() == null) { return null; }
protected DefinitelyNullSetDataflow analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {
		protected CompactLocationNumbering analyze(Method method) throws CFGBuilderException, DataflowAnalysisException {			if (method.getCode() == null) {				return null;			}						CFG cfg = getCFG(method);			return new CompactLocationNumbering(cfg);		}