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