minor

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)

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
   }