docs: public static <Fact, AnalysisType extends BasicAbstractDataflowAnalysis<Fact>> void printCFG(
              Dataflow<Fact, AnalysisType> dataflow, PrintStream out) {
          DataflowCFGPrinter<Fact, AnalysisType> printer = new DataflowCFGPrinter<>(dataflow);
          printer.print(out);
      }