let insert_with_no_copy elt list =
  if not (List.mem elt list) then
    elt::list
  else
    list