=clu #3442 Optimize the vector clock comparison