diff --git a/kmxwasm/src/kmxwasm/tools.py b/kmxwasm/src/kmxwasm/tools.py
index 776161c2..43174f8c 100644
--- a/kmxwasm/src/kmxwasm/tools.py
+++ b/kmxwasm/src/kmxwasm/tools.py
@@ -89,6 +89,8 @@ def explorer(self) -> KCFGExplore:
                         '100',
                         '--interim-simplification',
                         '2000',
+                        '--no-fallback-simplify',
+                        '--no-post-exec-simplify',
                         # Other options can be added by setting env.var KORE_RPC_OPTS
                     ),
                     bug_report=self.__bug_report,