Bugfix: multiple calls to the combiner

There was a bug in the implementation of wbtree-union, which caused
values to be combined multiple times, if their keys occurred in both
trees. Fixed.