let debug_ff_marks fmt fm =
    let pdg, fm = fm in
    let print_node node =
      let node_key = PdgTypes.Node.elem_key node in
      let m =
        try
          try PdgIndex.FctIndex.find_info fm node_key
          with PdgIndex.CallStatement -> assert false
        with Not_found -> Marks.bottom_mark
      in
      Format.fprintf fmt "%a : %a@." (!Db.Pdg.pretty_node true) node
        Marks.pretty_mark m
    in
    !Db.Pdg.iter_nodes print_node pdg