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