Make property operate on many vclocks.
Add vclock:dominates/2 with property.