if (methodGen == null) throw new MethodUnprofitableException(getJavaClass(),method);
		        protected LockDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        MethodGen methodGen = getMethodGen(method);			        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        CFG cfg = getCFG(method);			        LockAnalysis analysis = new LockAnalysis(methodGen, vnaDataflow, dfs);			        LockDataflow dataflow = new LockDataflow(cfg, analysis);			        dataflow.execute();			        return dataflow;		        }