diff --git a/src/main/vct/main/stages/Transformation.scala b/src/main/vct/main/stages/Transformation.scala
index 59c41d2916..6956922e71 100644
--- a/src/main/vct/main/stages/Transformation.scala
+++ b/src/main/vct/main/stages/Transformation.scala
@@ -250,6 +250,7 @@ case class SilverTransformation
     DesugarCollectionOperators,
     EncodeNdIndex,
 
+    ExtractInlineQuantifierPatterns,
     // Translate internal types to domains
     FloatToRat,
     EnumToDomain,