diff --git a/src/main/java/avatartranslator/directsimulation/AvatarSimulationBlock.java b/src/main/java/avatartranslator/directsimulation/AvatarSimulationBlock.java
index 33837dc20af708f080e465b7809541f847b025c2..7ca59e470aece2ddd4b5c445994cfc5f346f0d2a 100644
--- a/src/main/java/avatartranslator/directsimulation/AvatarSimulationBlock.java
+++ b/src/main/java/avatartranslator/directsimulation/AvatarSimulationBlock.java
@@ -41,6 +41,7 @@ package avatartranslator.directsimulation;
 
 import avatartranslator.*;
 import avatartranslator.intboolsolver.AvatarIBSExpressions;
+import avatartranslator.intboolsolver.AvatarIBSStdParser;
 import avatartranslator.intboolsolver.AvatarIBSolver;
 import avatartranslator.modelchecker.SpecificationBlock;
 import myutil.*;
diff --git a/src/main/java/avatartranslator/directsimulation/AvatarSpecificationSimulation.java b/src/main/java/avatartranslator/directsimulation/AvatarSpecificationSimulation.java
index a773f591eefd20a3cf12f7dde27db53a414a09ac..04c1f8486d184e3f4fba54924a24195a776045a1 100644
--- a/src/main/java/avatartranslator/directsimulation/AvatarSpecificationSimulation.java
+++ b/src/main/java/avatartranslator/directsimulation/AvatarSpecificationSimulation.java
@@ -40,6 +40,7 @@
 package avatartranslator.directsimulation;
 
 import avatartranslator.*;
+import avatartranslator.intboolsolver.AvatarIBSolver;
 import myutil.CSVObject;
 import myutil.TraceManager;
 
@@ -178,6 +179,9 @@ public class AvatarSpecificationSimulation {
         // Robustness
         avspec.makeRobustness();
 
+        // Reset parser
+        AvatarIBSolver.clearAttributes();
+
         // remove FIFOs
         //avspec.removeFIFOs(2);