let persistant_in_marks_to_prop fi to_prop =
let in_info, _ = to_prop in
SlicingParameters.debug ~level:2 "[Fct_Slice.FctMarks.persistant_in_marks_to_prop] from %s" (M.fi_name fi);
let m2m _call _pdg_caller _n m =
(* SlicingParameters.debug ~level:2 " in_m2m %a in %s ?@."
PdgIndex.Key.pretty (!Db.Pdg.node_key n) (M.pdg_name pdg_caller); *)
Marks.missing_input_mark ~call:Marks.bottom_mark ~called:m
in
let pdg = M.get_fi_pdg fi in
let pdg_node_marks =
Pdg.Register.translate_in_marks pdg ~m2m in_info [] in
pdg_node_marks