diff --git a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
index a69f2712afce817e4fdb71ad5a839900b6d4f717..919118dd9ce638bf80d4c154e06c254f67203da9 100644
--- a/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
+++ b/src/main/scala/leon/frontends/scalac/ASTExtractors.scala
@@ -206,15 +206,16 @@ trait ASTExtractors {
                   Apply(
                     TypeApply(
                       ExSelected("leon", "lang", "package", "Passes"), 
-                      _ :: _ :: Nil
-                    ), 
-                    ExpressionExtractors.ExTuple(_, Seq(in,out)) :: Nil
+                      List(_, _)
+                    ),
+                    List(ExpressionExtractors.ExTuple(_, Seq(in,out)))
                   ), 
                   ExNamed("passes")
                 ),
-                (Function(
-                  (_ @ ValDef(_, _, _, EmptyTree)) :: Nil, 
-                  ExpressionExtractors.ExPatternMatching(_,tests))) :: Nil
+                List(Function(
+                  List(ValDef(_, _, _, EmptyTree)),
+                  ExpressionExtractors.ExPatternMatching(_,tests)
+                ))
               )
           => Some((in, out, tests))
         case _ => None