From e48321324857c2f44cd80f3a74cb5e5fdd2f7629 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 17 Jan 2026 19:01:33 +0000
Subject: [PATCH] Add 4-parameter checkContextMatch overload for consistency

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/java/Context.java | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 5292275fa..3e03028ac 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2271,7 +2271,7 @@ public class Context implements AutoCloseable {
      */
     public final <R extends Sort, A extends Sort> Expr<A> mkSeqFoldli(Expr<?> f, Expr<IntSort> i, Expr<A> a, Expr<SeqSort<R>> s)
     {
-        checkContextMatch(new Z3Object[] { f, i, a, s });
+        checkContextMatch(f, i, a, s);
         return (Expr<A>) Expr.create(this, Native.mkSeqFoldli(nCtx(), f.getNativeObject(), i.getNativeObject(), a.getNativeObject(), s.getNativeObject()));
     }
 
@@ -4470,6 +4470,14 @@ public class Context implements AutoCloseable {
         checkContextMatch(other3);
     }
 
+    void checkContextMatch(Z3Object other1, Z3Object other2, Z3Object other3, Z3Object other4)
+    {
+        checkContextMatch(other1);
+        checkContextMatch(other2);
+        checkContextMatch(other3);
+        checkContextMatch(other4);
+    }
+
     void checkContextMatch(Z3Object[] arr)
     {
         if (arr != null)