Fix: WM: More iterations for overlapping keys merge

[matthias-mayr]

• When having many preconditions 5 iterations are not enough
• Exception was not thrown correctly

[matthias-mayr]

I always thought that the history is disjoint, but it's not. That makes updates so much easier than I though.