diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 22fa23f61462334e238734c2bd50c7150502ed15..26fcab817fe63ef8d1e6e634cfa74e84ccedab19 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -218,7 +218,7 @@ object Main {
       } else if (settings.xlang) {
         XlangAnalysisPhase
       } else if (settings.verify) {
-        AnalysisPhase
+        purescala.FunctionClosure andThen AnalysisPhase
       } else {
         purescala.RestoreMethods andThen utils.FileOutputPhase
       }