if (methodGen == null) throw new MethodUnprofitableException(getJavaClass(),method);
		        protected TypeDataflow analyze(Method method) throws DataflowAnalysisException, CFGBuilderException {			        MethodGen methodGen = getMethodGen(method);			        CFG cfg = getRawCFG(method);			        DepthFirstSearch dfs = getDepthFirstSearch(method);			        ExceptionSetFactory exceptionSetFactory = getExceptionSetFactory(method);			        TypeAnalysis typeAnalysis =			                new TypeAnalysis(methodGen, cfg, dfs, getLookupFailureCallback(), exceptionSetFactory);			        					if (analysisContext.getBoolProperty(AnalysisFeatures.MODEL_INSTANCEOF)) {						typeAnalysis.setValueNumberDataflow(getValueNumberDataflow(method));					}										// Field store type database.					// If present, this can give us more accurate type information					// for values loaded from fields.					typeAnalysis.setFieldStoreTypeDatabase(analysisContext.getFieldStoreTypeDatabase());										TypeDataflow typeDataflow = new TypeDataflow(cfg, typeAnalysis);			        typeDataflow.execute();			        return typeDataflow;		        }