diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
index 836a01d635..6da1a10926 100644
--- a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
+++ b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/passes/ProcedurePassManager.kt
@@ -39,6 +39,14 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext, uniqueWarningL
         FpFunctionsToExprsPass(parseContext),
         CLibraryFunctionsPass(),
     ),
+    listOf(
+        // optimizing
+        SimplifyExprsPass(parseContext),
+        LoopUnrollPass(),
+        SimplifyExprsPass(parseContext),
+        EmptyEdgeRemovalPass(),
+        UnusedLocRemovalPass(),
+    ),
     listOf(
         // trying to inline procedures
         InlineProceduresPass(parseContext),
@@ -49,14 +57,6 @@ class CPasses(checkOverflow: Boolean, parseContext: ParseContext, uniqueWarningL
         ReferenceElimination(parseContext),
         MallocFunctionPass(parseContext),
     ),
-    listOf(
-        // optimizing
-        SimplifyExprsPass(parseContext),
-        LoopUnrollPass(),
-        SimplifyExprsPass(parseContext),
-        EmptyEdgeRemovalPass(),
-        UnusedLocRemovalPass(),
-    ),
     listOf(
         StaticCoiPass(),
     ),