diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index c8698277c..a0676b4e2 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -986,14 +986,11 @@ namespace Microsoft.Z3
             Debug.Assert(ts.All(a => a != null));
             CheckContextMatch<BoolExpr>(ts);
 
-            return ts.Any()
-                ? ts
-                    .Aggregate(MkFalse(), (r, t) =>
+            return ts.Aggregate(MkFalse(), (r, t) =>
                     {
                         using (r)
                             return MkXor(r, t);
-                    })
-                : MkFalse();
+                    });
         }
 
         /// <summary>