FatCBST: Concurrent Binary Search Tree with Fatnodes
Linearizability: a correctness condition for concurrent objects