From f709f6d0895e4f2b292e0f09749789e2e290055a Mon Sep 17 00:00:00 2001
From: CEisenhofer <clemens.eisenhofer@tuwien.ac.at>
Date: Wed, 1 Apr 2026 18:56:45 +0200
Subject: [PATCH] Don't add constraint twice

---
 src/smt/seq/seq_nielsen.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index 600a86144..0da8edc29 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -254,6 +254,7 @@ namespace seq {
             for (unsigned i = 0; i < to_app(c.fml)->get_num_args(); ++i) {
                 add_constraint(constraint(to_app(c.fml)->get_arg(i), c.dep, graph().get_manager()));
             }
+            return;
         }
         m_constraints.push_back(c);
         if (m_graph.m_literal_if_false) {