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