proved tree_to_list_recursive