diff --git a/src/main/java/avatartranslator/AvatarStateMachine.java b/src/main/java/avatartranslator/AvatarStateMachine.java
index 120cf24247f4cc0e83b4f550767d31df9e30105a..7775c137505d60f792ae3497a9222150d72fa1cf 100644
--- a/src/main/java/avatartranslator/AvatarStateMachine.java
+++ b/src/main/java/avatartranslator/AvatarStateMachine.java
@@ -42,8 +42,6 @@ import myutil.TraceManager;
 
 import java.util.*;
 
-import org.apache.commons.math3.analysis.function.Add;
-
 /**
  * Class AvatarStateMachine
  * State machine, with composite states
@@ -229,7 +227,6 @@ public class AvatarStateMachine extends AvatarElement {
     }
     
     private void addStateAfterActionOnSignal(AvatarBlock _block) {
-        AvatarStateMachineElement next;
         List<AvatarStateMachineElement> toAdd = new ArrayList<AvatarStateMachineElement>();
         int id = 0;
         
diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index fa14cb3719616f4e73f763843730c654ad885971..0774422ac523cf674e63adef93536640a5495505 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -44,7 +44,6 @@ import myutil.BoolExpressionEvaluator;
 import myutil.Conversion;
 import myutil.IntExpressionEvaluator;
 import myutil.TraceManager;
-import rationals.properties.isEmpty;
 
 import java.util.*;
 
@@ -589,9 +588,7 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
         if (mustStop()) {
             return;
         }
-        
-        int cpt = 0;
-        
+                
         initialState.property = safety.getSolverResult(initialState);
 
         if (studySafety && safety.propertyType == SafetyProperty.BLOCK_STATE) {