Substituted CRDT with CvRDT in certain places.