Corrected some bugs, namely set_vclock/2, reconcile/2, update_vclock/3 and increment_vclock/2.