Add avl_search_smaller() API