let propagate_user_marks_to_callers project kf =
  let slices = !Slicing.Slice.get_all project kf in
  List.iter
    (fun slice ->
       if has_user_marks slice then prop_to_callers project (kf,slice))
    slices