diff --git a/compiler/lib/Support/Pipeline.cpp b/compiler/lib/Support/Pipeline.cpp
index 38d5f0af8..6c63e09af 100644
--- a/compiler/lib/Support/Pipeline.cpp
+++ b/compiler/lib/Support/Pipeline.cpp
@@ -72,6 +72,7 @@ getFHEConstraintsFromFHE(mlir::MLIRContext &context, mlir::ModuleOp &module,
   mlir::PassManager pm(&context);
 
   pipelinePrinting("ComputeFHEConstraintOnFHE", pm, context);
+  addPotentiallyNestedPass(pm, mlir::createCanonicalizerPass(), enablePass);
   addPotentiallyNestedPass(pm, mlir::concretelang::createMANPPass(),
                            enablePass);
   addPotentiallyNestedPass(