improving the merge/subsume