new DataflowCFGPrinter<Fact, AnalysisType>(cfg, dataflow, analysis);
new DataflowCFGPrinter<Fact, AnalysisType>(dataflow);
	void printCFG(CFG cfg, Dataflow<Fact, AnalysisType> dataflow, AnalysisType analysis, PrintStream out) {		DataflowCFGPrinter<Fact, AnalysisType> printer =			new DataflowCFGPrinter<Fact, AnalysisType>(cfg, dataflow, analysis);		printer.print(out);	}