From e75da050d2eb7b5ccfce4bc93bca907e102c47b1 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 7 Oct 2025 10:21:09 -0700
Subject: [PATCH] parameter eval order

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/ast/rewriter/seq_rewriter.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ast/rewriter/seq_rewriter.cpp b/src/ast/rewriter/seq_rewriter.cpp
index 4380504d5..d7d9cb1f3 100644
--- a/src/ast/rewriter/seq_rewriter.cpp
+++ b/src/ast/rewriter/seq_rewriter.cpp
@@ -1910,7 +1910,8 @@ br_status seq_rewriter::mk_seq_mapi(expr* f, expr* i, expr* seqA, expr_ref& resu
     }
     if (str().is_concat(seqA, s1, s2)) {
         expr_ref j(m_autil.mk_add(i, str().mk_length(s1)), m());
-        result = str().mk_concat(str().mk_mapi(f, i, s1), str().mk_mapi(f, j, s2));
+        auto a = str().mk_mapi(f, i, s1);
+        result = str().mk_concat(a, str().mk_mapi(f, j, s2));
         return BR_REWRITE2;
     }
     return BR_FAILED;