threaded red-black tree from libavl with lower_bound method