let split_slice proj ff =
let add (actions, slices) (caller, call) =
let new_ff = Fct_slice.copy_slice ff in
let rq = SlicingActions.mk_crit_change_call caller call
(T.CallSlice new_ff) in
rq::actions, new_ff::slices
in
let calls = List.tl ff.T.ff_called_by in (* keep ff for the first call *)
let actions, slices = List.fold_left add ([], [ff]) calls in
add_proj_actions proj actions;
slices