binary_tree_equal