let call_src_and_remove_all_ff proj fi =
let do_call actions (ff_caller, call_id) =
let new_actions =
Fct_slice.apply_change_call proj ff_caller call_id (T.CallSrc (Some fi))
in new_actions @ actions
in
let do_ff actions ff =
let calls = M.get_calls_to_ff ff in
let actions = List.fold_left do_call actions calls in
remove_ff proj ff;
actions
in
List.fold_left do_ff [] fi.T.fi_slices