diff --git a/src/purescala/Analysis.scala b/src/purescala/Analysis.scala
index b2d26a375ce8f188ba0ff9955666136da27c8a52..af93704e39c458c2088586e8219dda485d20c862 100644
--- a/src/purescala/Analysis.scala
+++ b/src/purescala/Analysis.scala
@@ -257,7 +257,7 @@ object Analysis {
       var extras : List[Expr] = Nil
 
       def rewritePM(e: Expr) : Option[Expr] = e match {
-        case NotSoSimplePatternMatching(_) => None
+        // case NotSoSimplePatternMatching(_) => None
         case SimplePatternMatching(scrutinee, classType, casesInfo) => Some({
           val newVar = Variable(FreshIdentifier("pm", true)).setType(e.getType)
           val scrutAsLetID = FreshIdentifier("scrut", true).setType(scrutinee.getType)