From 960ab8e67ace1cae34da333e256fd46c018b3ffe Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 18 Mar 2026 01:05:56 +0000
Subject: [PATCH] perf: move check_fixed_length(false,true) before
 check_contains in final_check_eh

Co-authored-by: levnach <5377127+levnach@users.noreply.github.com>
---
 src/smt/theory_seq.cpp | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 58b166ac6..38f67374e 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -345,11 +345,6 @@ final_check_status theory_seq::final_check_eh(unsigned level) {
         TRACEFIN("regex propagate");
         return FC_CONTINUE;
     }
-    if (check_contains()) {
-        ++m_stats.m_propagate_contains;
-        TRACEFIN("propagate_contains");
-        return FC_CONTINUE;
-    }
     if (check_fixed_length(true, false)) {
         ++m_stats.m_fixed_length;
         TRACEFIN("zero_length");
@@ -365,6 +360,16 @@ final_check_status theory_seq::final_check_eh(unsigned level) {
         TRACEFIN("fixed_length");
         return FC_CONTINUE;
     }
+    if (check_fixed_length(false, true)) {
+        ++m_stats.m_fixed_length;
+        TRACEFIN("fixed_length");
+        return FC_CONTINUE;
+    }
+    if (check_contains()) {
+        ++m_stats.m_propagate_contains;
+        TRACEFIN("propagate_contains");
+        return FC_CONTINUE;
+    }
     if (check_int_string()) {
         ++m_stats.m_int_string;
         TRACEFIN("int_string");