diff --git a/src/main/scala/leon/evaluators/DualEvaluator.scala b/src/main/scala/leon/evaluators/DualEvaluator.scala
index 6fc5b856db92ea689df37dc2ee5f257f3ebb4ff5..7976dbfc207679ee92f81b86fd4f00d582b2e9f0 100644
--- a/src/main/scala/leon/evaluators/DualEvaluator.scala
+++ b/src/main/scala/leon/evaluators/DualEvaluator.scala
@@ -37,8 +37,7 @@ class DualEvaluator(ctx: LeonContext, prog: Program, params: CodeGenParams)
 
     val (className, methodName, _) = unit.leonFunDefToJVMInfo(tfd.fd).get
 
-    val allArgs =
-      (if (params.requireMonitor) Seq(monitor) else Seq()) ++
+    val allArgs = Seq(monitor) ++
       (if (tfd.fd.tparams.nonEmpty) Seq(tfd.tps.map(unit.registerType(_)).toArray) else Seq()) ++
       args
 
diff --git a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
index e7ff08ba6092267fd694b1e75644aeec01057dc0..22aa09a4dd90d59a5f013e242f1b2337567eef4c 100644
--- a/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
+++ b/src/main/scala/leon/evaluators/RecursiveEvaluator.scala
@@ -567,8 +567,6 @@ abstract class RecursiveEvaluator(ctx: LeonContext, prog: Program, maxSteps: Int
               ctx.reporter.debug("Verification took "+total+"ms")
               ctx.reporter.debug("Finished forall evaluation with: "+res)
 
-              println(fargs.map(_.id),replaceFromIDs(mapping, body))
-              println(res)
               frlCache += (f, context) -> res
               res
             case _ =>
diff --git a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
index 6d7af0ba41d3e9199c11d5c14796205a30c9d677..f970858572631697e2608db85e00f6050460015b 100644
--- a/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
+++ b/src/main/scala/leon/solvers/combinators/UnrollingSolver.scala
@@ -263,7 +263,6 @@ trait AbstractUnrollingSolver[T]
 
   private def getTotalModel: Model = {
     val wrapped = solverGetModel
-    println(wrapped)
 
     val typeInsts = templateGenerator.manager.typeInstantiations
     val partialInsts = templateGenerator.manager.partialInstantiations