update Validate_Binary_Search_Tree