diff --git a/src/main/scala/leon/purescala/MethodLifting.scala b/src/main/scala/leon/purescala/MethodLifting.scala
index 38319eb22664063e7070cc2c4b63301a3af7c534..277803109cf845f467bec945784edfe54a4ed3fb 100644
--- a/src/main/scala/leon/purescala/MethodLifting.scala
+++ b/src/main/scala/leon/purescala/MethodLifting.scala
@@ -9,9 +9,8 @@ import Expressions._
 import Extractors._
 import ExprOps._
 import Types._
-import Constructors.and
+import Constructors._
 import TypeOps.instantiateType
-import Constructors.application
 
 object MethodLifting extends TransformationPhase {
 
@@ -89,7 +88,6 @@ object MethodLifting extends TransformationPhase {
         val cse = SimpleCase(InstanceOfPattern(Some(binder), at), newE).setPos(newE)
         (recs :+ cse, true)
       }
-
   }