let
union c1 c2 =
normalize (c1@c2)