New version of causal clock: dvvset.