Add a_bin_tree_exists