let add_atom a l = match a, l with
  | A "", _ -> l
  | _ -> a :: l