From 1acf680646c058e25baf48a402f214d52b0e2e2c Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 5 Sep 2025 10:35:19 -1000
Subject: [PATCH] t

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/levelwise.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp
index 390f927cc..6569a6fd5 100644
--- a/src/nlsat/levelwise.cpp
+++ b/src/nlsat/levelwise.cpp
@@ -695,6 +695,8 @@ namespace nlsat {
                 apply_pre_non_null(p);
             else if (p.prop_tag == prop_enum::an_sub)
                 apply_pre_an_sub(p);      
+            else 
+                NOT_IMPLEMENTED_YET();    
                 
             TRACE(levelwise,  tout << "apply_pre END m_Q:"; display(tout) << std::endl;);
         }