let translate_out_mark _pdg m2m other_rqs (call, l) =
  let add_list l_out_m called_kf rqs  =
    try
      let called_pdg = !Db.Pdg.get called_kf in
      let m2m = m2m (Some call) called_pdg in
      let node_marks = 
        call_out_marks_to_called called_pdg m2m ~rqs:[] l_out_m
      in (called_pdg, PdgMarks.SelList node_marks)::rqs
    with PdgTypes.Pdg.Top ->
      (* no PDG for this function : forget the new marks 
      * because anyway, the source function will be called.
      * *)

      rqs
  in
  let all_called = Db.Value.call_to_kernel_function call in
    Kernel_function.Set.fold (add_list l)  all_called other_rqs