Some contracts.
bs_tree,rb_tree,avl_tree.