let copy_slice ff =
  let kf_entry, _ = Globals.entry_point () in
  if (M.ff_src_name ff) = Kernel_function.get_name kf_entry then
    raise SlicingTypes.OnlyOneEntryPointSlice
  else
    FctMarks.new_copied_slice ff