From c2faa1c4a392259744787677717ee420c07afb9f Mon Sep 17 00:00:00 2001
From: Yongwei Yuan <yuan311@purdue.edu>
Date: Sun, 4 Feb 2024 21:35:50 -0500
Subject: [PATCH] fix #6

---
 syntax/qualifier.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/syntax/qualifier.ml b/syntax/qualifier.ml
index e909c39..4e8a6f8 100644
--- a/syntax/qualifier.ml
+++ b/syntax/qualifier.ml
@@ -28,6 +28,7 @@ module F (L : Lit.T) = struct
       match List.filter (fun p -> not (is_true p)) l with
       | [] -> mk_true
       | [ x ] -> x
+      | [ x; y ] when x = y -> x
       | l -> And l
 
   let smart_or l =