diff --git a/plugins/z3_utils/src/simplification.cpp b/plugins/z3_utils/src/simplification.cpp
index 54ac2f2a5a1..8595ab1db4b 100644
--- a/plugins/z3_utils/src/simplification.cpp
+++ b/plugins/z3_utils/src/simplification.cpp
@@ -2328,6 +2328,9 @@ namespace hal
                 const auto [it, _] = cache.insert({e.id(), simplify_res.get()});
                 res                = it->second;
 
+                // TODO remove
+                // return OK(res);
+
                 iteration++;
                 if (iteration > max_loop_iterations)
                 {