let normalize c = 
  fold_left 
    (fun res x -> 
      if (mem x res) 
      then res 
      else (x::res) ) 
    [] c