1 files changed, 8 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 9ec8b6f1..594f2509 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -1310,6 +1310,10 @@ namespace Microsoft.Boogie.SMTLib
                     break;
                   }
                 }
+                else
+                {
+                  mod = 2;
+                }
                 lastCnt = cnt;
 
                 if (0 < split0.Count)
@@ -1439,6 +1443,10 @@ namespace Microsoft.Boogie.SMTLib
         expr = VCExprGen.AndSimp(expr, lit);
       }
       SendThisVC("(assert " + VCExpr2String(expr, 1) + ")");
+      if (options.Solver == SolverKind.Z3)
+      {
+        SendThisVC("(apply (then (using-params propagate-values :max_rounds 1) simplify) :print false)");
+      }
       FlushLogFile();
       SendThisVC("(check-sat)");
       return GetResponse();