implement abr_tree_str()