From 4d77c6fbf9c05e6ef14dba84eb565c8c6be665c8 Mon Sep 17 00:00:00 2001
From: Yehor Boiar <yb33@st-andrews.ac.uk>
Date: Thu, 17 Oct 2024 13:07:30 +0100
Subject: [PATCH] Define an empty expression for and

---
 crates/conjure_core/src/rules/base.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/conjure_core/src/rules/base.rs b/crates/conjure_core/src/rules/base.rs
index ceceba9ce..0e3be4883 100644
--- a/crates/conjure_core/src/rules/base.rs
+++ b/crates/conjure_core/src/rules/base.rs
@@ -105,6 +105,7 @@ fn remove_empty_expression(expr: &Expr, _: &Model) -> ApplicationResult {
 
     let new_expr = match expr {
         Or(_, _) => Constant(Metadata::new(), Const::Bool(false)),
+        And(_, _) => Constant(Metadata::new(), Const::Bool(true)),
         _ => Nothing,
     };