diff --git a/src/funcheck/CodeExtraction.scala b/src/funcheck/CodeExtraction.scala
index e2de5a9698fc519d5160e3a6a50dca1c48f8e9cd..dbe28467e92c24f63550c8675e47848207e61ae8 100644
--- a/src/funcheck/CodeExtraction.scala
+++ b/src/funcheck/CodeExtraction.scala
@@ -37,7 +37,7 @@ trait CodeExtraction {
   }
 
   def extractCode(unit: CompilationUnit)(tree: Tree): Unit = tree match {
-    case d @ DefDef(mods, name, tparams, vparamss, tpt, body) => {
+    case d @ DefDef(mods, name, tparams, vparamss, tpt, body) if !d.symbol.isConstructor => {
       println("In: " + name)
       println(d.symbol)
       println(d.mods)
diff --git a/src/funcheck/purescala/Trees.scala b/src/funcheck/purescala/Trees.scala
index af637214a053aaf6a8a96f678a40c424431bc34b..75c7595b874cd5bbf5657cb23fd9d104ee9cad2c 100644
--- a/src/funcheck/purescala/Trees.scala
+++ b/src/funcheck/purescala/Trees.scala
@@ -115,6 +115,12 @@ see examples in:
   }
   
   /* Literals */
+  // to be fixed! Should contain a reference to the definition of that
+  // variable, which would also give us its type.
+  case class Variable(id: Identifier) extends Expr {
+    val getType = AnyType
+  }
+
   case class IntLiteral(value: Int) extends Expr {
     val getType = Int32Type
   }