let union c1 c2 = 
  normalize  (c1@c2)