updating the minimize_kcfg method to accept an optional heuristics …

…parameter for merging node. (#4687)

This pull request includes changes to the
`pyk/src/pyk/kcfg/exploration.py` file to enhance the functionality of
the `minimize_kcfg` method by incorporating heuristics. The most
important changes include importing the `KCFGSemantics` module and
updating the `minimize_kcfg` method to accept an optional heuristics
parameter.

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)