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 FI.find_info fm node_key
with PdgIndex.CallStatement -> assert false
with PdgIndex.NotFound -> 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