add is_union_test.cpp