let clear_ff proj ff =
let clear_call call_stmt call_info _ =
CallInfo.remove_called_by proj (ff, call_stmt) call_info in
match ff.T.ff_called_by with
| [] ->
FctMarks.fold_calls clear_call ff ()
| _ -> raise SlicingTypes.CantRemoveCalledFf