diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index ef923d6d05aefb4c8749cc9ce427d34f00de8434..75b0b41edd248dba486b72d89a799839f0c8a840 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -1145,9 +1145,9 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
         }
 
         if (freeIntermediateStateCoding) {
-//            _ss.freeUselessAllocations();
+            _ss.freeUselessAllocations();
         } else {
-//            _ss.finished();
+            _ss.finished();
         }
 
         mustStop();
@@ -1318,9 +1318,9 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
         }
         
         if (freeIntermediateStateCoding) {
-//            _ss.freeUselessAllocations();
+            _ss.freeUselessAllocations();
         } else {
-//            _ss.finished();
+            _ss.finished();
         }
 
         mustStop();