Implement initTables for μ-Calculus

Make following state of a fixpoint it's unfold

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