test_trivial_disjoint_union#

test_trivial_disjoint_union()#