Implement non-blocking linked-list based on the idea proposed in paper "A Pragmatic Implementation of Non-Blocking Linked-Lists" by Promela in SPIN