let union_b s1 s2 =
  List.fold_left (fun s e -> add_elt e s) s2 s1