fixed problems with set_union(), cross_product(); minor changes to dbtest