Create binary_search_tail_recursive