Improved VectorClock class