diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml
index 7240ce5..bb1b430 100644
--- a/compiler/heptagon/analysis/initialization.ml
+++ b/compiler/heptagon/analysis/initialization.ml
@@ -236,7 +236,7 @@ and apply h op e_list =
     | Etuple, _ -> assert false
     (** TODO: init of safe/unsafe nodes
         This is a tmp fix so that pre x + 1 works.*)
-    | Efun (Modname { qual = "Pervasives" }), e_list ->
+    | (Eequal | Efun (Modname { qual = "Pervasives" })), e_list ->
         List.fold_left (fun acc e -> itype (typing h e)) izero e_list
     | _ , e_list ->
         List.iter (fun e -> initialized_exp h e) e_list; izero