let apply_appli_crit proj appli_crit =
  match appli_crit with
    | T.CaCall fi_to_call ->
        let kf_to_call = M.get_fi_kf fi_to_call in
        let add_actions actions (kf_caller,_) =
          let fi_caller = M.get_kf_fi proj kf_caller in
          let mark = SlicingMarks.mk_user_spare in
          let action =
            SlicingActions.mk_crit_mark_calls fi_caller kf_to_call mark in
            action :: actions
        in List.fold_left add_actions [] (!Db.Value.callers kf_to_call)
    | _ ->
        Extlib.not_yet_implemented "This slicing criterion on application"