add some doc in bin_tree.h for a_bin_tree_exists