Joinable_BST_Work_Bounds.StronglyJoinableRBT