From 052e1a54a679f10a10305c2ad75c1979db0be006 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 1 Jul 2026 07:52:52 -0700
Subject: [PATCH] outline opaque splitter

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/seq_split.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ast/rewriter/seq_split.cpp b/src/ast/rewriter/seq_split.cpp
index 08fd6bfb90..5db1de81c5 100644
--- a/src/ast/rewriter/seq_split.cpp
+++ b/src/ast/rewriter/seq_split.cpp
@@ -127,20 +127,20 @@ struct split_set2::iterator::imp {
     }
 
     void next() {
+        m_qhead++;
         while (!at_end()) {
-            m_qhead++;
             if (has_split())
                 return;
             if (m_cartesian) {
                 m_cartesian->consume();
-                if (!m_splits.empty())
+                if (has_split())
                     return;
                 m_cartesian = nullptr;
             }
 
             if (m_complement) {
                 m_complement->consume();
-                if (!m_splits.empty())
+                if (has_split())
                     return;
                 m_complement = nullptr;
             }