tests for set_union