diff --git a/pyk/src/pyk/kcfg/exploration.py b/pyk/src/pyk/kcfg/exploration.py
index ac47640ce5..58ed4af05a 100644
--- a/pyk/src/pyk/kcfg/exploration.py
+++ b/pyk/src/pyk/kcfg/exploration.py
@@ -10,6 +10,7 @@
     from typing import Any
 
     from pyk.kcfg.kcfg import NodeIdLike
+    from pyk.kcfg.semantics import KCFGSemantics
 
 
 class KCFGExplorationNodeAttr(NodeAttr):
@@ -109,5 +110,5 @@ def to_dict(self) -> dict[str, Any]:
     #
 
     # Minimizing the KCFG
-    def minimize_kcfg(self, merge: bool = False) -> None:
-        KCFGMinimizer(self.kcfg).minimize(merge=merge)
+    def minimize_kcfg(self, heuristics: KCFGSemantics | None = None, merge: bool = False) -> None:
+        KCFGMinimizer(kcfg=self.kcfg, heuristics=heuristics).minimize(merge=merge)