diff --git a/genaisrc/gai.genai.mts b/genaisrc/gai.genai.mts
index 45828b6d0..d01914c13 100644
--- a/genaisrc/gai.genai.mts
+++ b/genaisrc/gai.genai.mts
@@ -1,18 +1,24 @@
 script({
     tools: ["agent_fs", "agent_git", "agent_github"],
+    parameters: {
+        workflow: { type: "string" }, // Workflow name
+        failure_run_id: { type: "number" }, // ID of the failed run
+        branch: { type: "string" }, // Branch name
+    },
     model: "azure:gpt-4o",
-    maxTokens: 20000
+    maxTokens: 2000
 })
 
 const {
-    workflow = "RISC V and PowerPC 64",
-    failure_run_id = "11296730058",
-    branch = await git.defaultBranch(),
+    workflow = "cross-build.yml",
+    failure_run_id = "11299772255",
+    branch = await git.branch(),
 } = env.vars
 
 $`Investigate the status of the ${workflow} workflow and identify the root cause of the failure of run ${failure_run_id} in branch ${branch}.
 
-- Correlate the failure with the relevant commits, pull requests or issues.
+- Correlate the failure with the latest commit.
+- Do only consider the branch ${branch} in the analysis.
 - Compare the source code between the failed run commit and the last successful run commit before that run.
 
 In your report, include html links to the relevant runs, commits, pull requests or issues.
diff --git a/src/ast/sls/sls_euf_plugin.cpp b/src/ast/sls/sls_euf_plugin.cpp
index dd0291c4a..aee13acc8 100644
--- a/src/ast/sls/sls_euf_plugin.cpp
+++ b/src/ast/sls/sls_euf_plugin.cpp
@@ -153,7 +153,7 @@ namespace sls {
                         euf::enode* args[2] = { g.find(a), g.find(b) };
                         c = g.mk(eq, 0, 2, args);
                     }                    
-                    g.merge(g.find(m.mk_false()), to_ptr(lit));
+                    g.merge(c, g.find(m.mk_false()), to_ptr(lit));
                 }
             }
         }