From f662eed78d526074f0dc3c20f56c2b3cf14658a1 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 13 Jul 2026 04:54:48 +0000
Subject: [PATCH] Fix bv2int_translator assertion: extend early-return for
 non-basic bool non-BV expressions in plugin mode

---
 src/ast/rewriter/bv2int_translator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/bv2int_translator.cpp b/src/ast/rewriter/bv2int_translator.cpp
index da15bde2bd..042e018558 100644
--- a/src/ast/rewriter/bv2int_translator.cpp
+++ b/src/ast/rewriter/bv2int_translator.cpp
@@ -90,7 +90,7 @@ void bv2int_translator::translate_expr(expr* e) {
         translate_var(to_var(e));
     else {
         app* ap = to_app(e);
-        if (m_is_plugin && ap->get_family_id() == basic_family_id && m.is_bool(ap)) {
+        if (m_is_plugin && m.is_bool(ap) && ap->get_family_id() != bv.get_family_id()) {
             set_translated(e, e);
             return;
         }