procedure dupl_elem(L)

   if *L = *set(L) then fail
   else return L

end