get rid of abr_tree_to_string_with_leaves()