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