start verifying properties of a lock-free linked list