Simplify destroy_tree in BST