diff --git a/src/main/scala/leon/synthesis/rules/CEGISLike.scala b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
index 53303b4a435552b22efda5893d57348bff064c88..96c28f23485eb3c68fb7ae7f53305e8d1350b57e 100644
--- a/src/main/scala/leon/synthesis/rules/CEGISLike.scala
+++ b/src/main/scala/leon/synthesis/rules/CEGISLike.scala
@@ -316,13 +316,11 @@ abstract class CEGISLike[T <% Typed](name: String) extends Rule(name) {
             None
         }(cTree))
 
-        val evalParams = CodeGenParams.default
-
         //println("-- "*30)
         //println(programCTree)
         //println(".. "*30)
 
-        val evaluator  = new DualEvaluator(sctx.context, programCTree, evalParams)
+        val evaluator  = new DualEvaluator(sctx.context, programCTree, CodeGenParams.default)
 
 
         tester =
diff --git a/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala b/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
index 5839f5bf5e56b0bd21b59a794ee659690417c397..5244c6d4d5fc136107094926a1111ec5e713d52f 100644
--- a/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
+++ b/src/main/scala/leon/synthesis/utils/ExpressionGrammar.scala
@@ -150,13 +150,13 @@ object ExpressionGrammars {
         List(
           Generator(Nil, { _ => IntLiteral(0) }),
           Generator(Nil, { _ => IntLiteral(1) }),
-          Generator(Nil, { _ => IntLiteral(-1) })
+          Generator(Nil, { _ => IntLiteral(42) })
         )
       case IntegerType =>
         List(
           Generator(Nil, { _ => InfiniteIntegerLiteral(0) }),
           Generator(Nil, { _ => InfiniteIntegerLiteral(1) }),
-          Generator(Nil, { _ => InfiniteIntegerLiteral(-1) })
+          Generator(Nil, { _ => InfiniteIntegerLiteral(42) })
         )
 
       case tp@TypeParameter(_) =>