Cfg.Dot
val fprint_graph : Stdlib.Format.formatter -> Graph__Imperative.Digraph.ConcreteBidirectionalLabeled(Vert)(Edge).t -> unit
val output_graph : Stdlib.out_channel -> Graph__Imperative.Digraph.ConcreteBidirectionalLabeled(Vert)(Edge).t -> unit