public void examineResults(CFG cfg, Dataflow<Fact> dataflow) {
public void examineResults(CFG cfg, Dataflow<Fact, AnalysisType> dataflow) {
	public void examineResults(CFG cfg, Dataflow<Fact> dataflow) {	}