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