diff --git a/src/compiler.js b/src/compiler.js
index c1b15cc..b6a8296 100644
--- a/src/compiler.js
+++ b/src/compiler.js
@@ -77,8 +77,8 @@ async function compile(srcFile, options) {
 
     classifySignals(ctx);
 
+    reduceConstants(ctx);
     if (options.reduceConstraints) {
-        reduceConstants(ctx);
 
         // Repeat while reductions are performed
         let oldNConstrains = -1;