public DataflowAnalysis<ThisValueFrame> createAnalysis(MethodGen methodGen, CFG cfg) {
public AbstractDataflowAnalysis<ThisValueFrame> createAnalysis(MethodGen methodGen, CFG cfg) {
				public DataflowAnalysis<ThisValueFrame> createAnalysis(MethodGen methodGen, CFG cfg) {					return new ThisValueAnalysis(methodGen);				}