diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 54ff97326d2a331a3d01c37ce280451e3dbf9afe..6b1e98eb3b52ff75a1b58c0674ed4dae0b396143 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -1047,6 +1047,16 @@ let initTables nomTbl hcF htF htR s f n =
       let s1 = List.nth sortlst (if first then 0 else 1) in
       !arrayDest1.(s).(n) <- C.HcFHt.find htF.(s1) f1;
       !arrayDest3.(s).(n) <- if first then 0 else 1
+  | C.HCMU (name, f1) ->
+     !arrayType.(s).(n) <- MuF;
+	 let unfold = C.hc_replace hcF name f f1 in
+	 !arrayDest1.(s).(n) <- C.HcFHt.find htF.(s) unfold
+  | C.HCNU (name, f1) ->
+	 !arrayType.(s).(n) <- NuF;
+	 let unfold = C.hc_replace hcF name f f1 in
+	 !arrayDest1.(s).(n) <- C.HcFHt.find htF.(s) unfold
+  | C.HCVAR _ -> !arrayType.(s).(n) <- Other
+
 
 let initTablesAt hcF htF name sort =
   let hcnom = C.HcFormula.hashcons hcF (C.HCAP name) in