Concurrent manipulation of binary search trees | Synapse