Следующий код проверяет, является ли двоичное дерево BST или нет.Но он застрял на LOGIC 1, может кто-нибудь помочь

Question

bool checkBST (Node * root) {

    if(root==NULL)
        return true;
    else{
        if(root->left==NULL && root->right==NULL)
            return true;

        else
        {
          if(root->left==NULL)
            {
                if(root->data <= root->right->data )
                {
                      if(checkBST(root->right))
                         return true;
                      else
                         return false;
                 }
              else return false;
            }
        else if(root->right==NULL)
        {
            if(root->data >= root->left->data )
            {
                if(checkBST(root->left))
                    return true;
                else
                    return false;
            }
            else return false;
        }
           else if(root->left->data <= root->right->data)
            {
                if(checkBST(root->left) && checkBST(root->right))
                    return true;

                else return false;
            }
            else return false;
        }

    }

}strong text

Следующая проблема обнаружена на hackerrank и дает истину всегда, во всех тестовых случаях, и я не могу понять, что является основнымвыпуск, ссылка: https://www.hackerrank.com/challenges/ctci-is-binary-search-tree/