code: 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);
      }
docs: Print CFG annotated with results from given dataflow analysis.
  
  @param <Fact>
  Dataflow fact type
  @param <AnalysisType>
  Dataflow analysis type
  @param dataflow
  dataflow driver
  @param out
  PrintStream to use