let new_copied_slice ff =
    try
      let fi = M.ff_fi ff in
        new_slice fi (Some ff.T.ff_marks)
    with SlicingTypes.NoPdg -> assert false