public abstract DataflowAnalysis<Fact> createAnalysis(MethodGen methodGen, CFG cfg) throws DataflowAnalysisException;
public abstract AbstractDataflowAnalysis<Fact> createAnalysis(MethodGen methodGen, CFG cfg) throws DataflowAnalysisException;
	public abstract DataflowAnalysis<Fact> createAnalysis(MethodGen methodGen, CFG cfg) throws DataflowAnalysisException;