specify abr_tree_to_string()

although it was already heavily used in the specs :-)
implement abr_tree_to_string_with_leaves()