questionable fix

src/analysis/lattices/bounded-conjunction.h

diff --git a/src/analysis/lattices/bounded-conjunction.h b/src/analysis/lattices/bounded-conjunction.h
index a2a6965..202614c 100644
--- a/src/analysis/lattices/bounded-conjunction.h
+++ b/src/analysis/lattices/bounded-conjunction.h
@@ -238,6 +238,13 @@
     if (lattice.compare(e, lattice.getBottom()) == EQUAL) {
       return false;
     }
+    if constexpr (requires {
+                    { lattice.getTop() } -> std::same_as<typename L::Element>;
+                  }) {
+      if (lattice.compare(e, lattice.getTop()) == EQUAL) {
+        return true;
+      }
+    }
 
     bool add = true;
     for (auto it = vec.begin(); it != vec.end();) {