let merge_slices proj ff1 ff2 replace =
let ff, ff_actions = Fct_slice.merge_slices ff1 ff2 in
if replace then
begin
let add actions (caller, call) =
let rq = SlicingActions.mk_crit_change_call caller call
(T.CallSlice ff) in
rq :: actions
in
let actions = List.fold_left add [] ff2.T.ff_called_by in
let actions = List.fold_left add actions ff1.T.ff_called_by in
add_proj_actions proj actions
end;
add_proj_actions proj ff_actions;
ff