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