Union operation, with some test cases...