Fixed vector clock when both counters have same value but different key-...

...value pairs