Use vclocks instead of syntags to detect conflicts