let pretty_node_marks fmt marks = let print fmt (n, m) = (!Db.Pdg.pretty_node true) fmt n; Marks.pretty_mark fmt m in Format.fprintf fmt "%a" (fun fmt x -> List.iter (print fmt) x) marks