let rec sort = function
  lx -> if is_empty_list (lx)
          then empty_list ()    (* ----- lx as well ----- *)
          else insert (head (lx), sort (tail (lx)))