Simplified wbtree-union

Since the split-gt function doesn't need to merge the values,
it could be simplified.