change VectorClock's `next` to `increment`