let prop_to_callers project (kf, ff) =
  let rec prop kf ff =
    let callers = !Db.Value.callers kf in
    let process_caller (kf_caller,_) =
      let ff_callers = match !Slicing.Slice.get_all project kf_caller with
      | [] -> [!Slicing.Slice.create project kf_caller]
      | l -> l
      in
      List.iter
        (fun caller ->
           !Slicing.Request.add_call_slice project ~caller ~to_call:ff;
           prop kf_caller caller)
        ff_callers;
    in
      List.iter process_caller callers
  in prop kf ff