Corrected: binary_tree_is_bst()