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