change KEVMSemantics to KontrolSemantics for minimize_kcfg

Author: Stevengre

src/kontrol/prove.py

@@ -481,7 +481,7 @@ def create_kcfg_explore() -> KCFGExplore:
                 progress.update(task, advance=1, status='Finished')
 
             if options.minimize_proofs or options.config_type == ConfigType.SUMMARY_CONFIG:
-                proof.minimize_kcfg(heuristics=KEVMSemantics(), merge=True)
+                proof.minimize_kcfg(heuristics=KontrolSemantics(), merge=True)
 
             if start_time is not None:
                 end_time = time.time()