diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml
index 7f1fd679..9acd82e1 100644
--- a/kmxwasm/pyproject.toml
+++ b/kmxwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmxwasm"
-version = "0.1.80"
+version = "0.1.81"
 description = "Symbolic execution for the MultiversX blockchain with the Wasm semantics, using pyk."
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
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,
diff --git a/package/version b/package/version
index 8c1c54a7..962d1c10 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.80
+0.1.81