fix spec typo
implement abr_tree_to_str()