typeAnalysis.setValueNumberAnalysis(getValueNumberDataflow(method));
typeAnalysis.setValueNumberDataflow(getValueNumberDataflow(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 (MODEL_INSTANCEOF) {						typeAnalysis.setValueNumberAnalysis(getValueNumberDataflow(method));					}										TypeDataflow typeDataflow = new TypeDataflow(cfg, typeAnalysis);			        typeDataflow.execute();			        return typeDataflow;		        }