diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index 4bd86173fec40dd96851cae2bed6d5ba03c4e343..6e1a2d0413fa523ae8e4e0c5ee2aaac3595db383 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -466,16 +466,15 @@ object TreeOps {
     fixpoint(postMap(rec))(expr)
   }
 
+  def isGround(e: Expr): Boolean = {
+    variablesOf(e).isEmpty && !containsChoose(e)
+  }
 
   def evalGround(ctx: LeonContext, program: Program): Expr => Expr = {
     import evaluators._
 
     val eval = new DefaultEvaluator(ctx, program)
-
-    def isGround(e: Expr): Boolean = {
-      variablesOf(e).isEmpty && !containsChoose(e)
-    }
-
+    
     def rec(e: Expr): Option[Expr] = e match {
       case l: Terminal => None
       case e if isGround(e) => eval.eval(e) match {