From 778ed22dbf0194671fe06a79a3a0ae1dc9c4981a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 15 Jan 2026 12:01:44 -0800
Subject: [PATCH] simplify contains check

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/search_tree.h | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/util/search_tree.h b/src/util/search_tree.h
index 0856e9e15..449d77703 100644
--- a/src/util/search_tree.h
+++ b/src/util/search_tree.h
@@ -209,10 +209,7 @@ namespace search_tree {
             // If the node is closed AND has a stronger or equal core, we are done. 
             // Otherwise, closed nodes may still accept a different (stronger) core to enable pruning/resolution higher in the tree.
             auto subseteq = [](vector<literal> const& A, vector<literal> const& B) {
-                for (auto const& a : A)
-                    if (!B.contains(a))
-                        return false;
-                return true;
+                return all_of(A, [&](auto const &a) { return B.contains(a); });
             };
             if (n->get_status() == status::closed && subseteq(n->get_core(), C))
                 return;