docs: protected AbstractExpression simplifyExistsSubqueryStmt(
              AbstractExpression originalExistExpr) {
          // Verify the edge case of EXISTS ( table-agg-without-having-groupby)
          // for which the correct handling is to optimize out the exists
          // clause entirely as trivially true or false
          // if limit = 0 or offset > 0
          if (m_limitOffset.getLimit() == 0) {
              return ConstantValueExpression.getFalse();
          }
  
          // Except for "limit 0 offset ?" which is already covered,
          // can't optimize away the entire expression if there are
          // limit and/or offset parameters
          if (m_having == null &&
                  m_groupByColumns.isEmpty() &&
                  ! hasLimitOrOffsetParameters() &&
                  displaysAgg()) {
              if (m_limitOffset.getOffset() == 0) {
                  return ConstantValueExpression.getTrue();
              }
              else {
                  return ConstantValueExpression.getFalse();
              }
          }
  
          // Remove ORDER BY columns
          m_orderColumns.clear();
  
          // Redo TVE placement since we've cleared the ORDER BY columns.
          placeTVEsinColumns();
  
          // Drop DISTINCT expression
          m_distinct = false;
  
          // Set LIMIT 1
          if (m_limitOffset.getLimitParameterId() == -1) {
              m_limitOffset.setLimit(1);
          }
  
          prepareLimitPlanNode(this, m_limitOffset);
  
          return originalExistExpr;
      }