public DataflowCFGPrinter(CFG cfg, Dataflow<Fact> dataflow, AbstractDataflowAnalysis<Fact> analysis) {
public DataflowCFGPrinter(CFG cfg, Dataflow<Fact, AnalysisType> dataflow, AnalysisType analysis) {
		public DataflowCFGPrinter(CFG cfg, Dataflow<Fact> dataflow, AbstractDataflowAnalysis<Fact> analysis) {			super(cfg);			this.dataflow = dataflow;			this.analysis = analysis;		}