public AbstractDataflowAnalysis<TypeFrame> createAnalysis(MethodGen methodGen, CFG cfg) {
public TypeAnalysis createAnalysis(MethodGen methodGen, CFG cfg) {
			public AbstractDataflowAnalysis<TypeFrame> createAnalysis(MethodGen methodGen, CFG cfg) {				return new TypeAnalysis(methodGen, lookupFailureCallback);			}