Remove the global VectorClock counter completely