-kcg:ok for node calling another node.(for example in the file aa.lus)

src/licDump.ml

@@ -253,7 +253,7 @@ and string_of_type_matches pm =
 (* for printing recursive node *)
 and string_of_node_key_rec (no_prefix:bool) (nkey: node_key) = 
   match nkey with
-    | (ik, []) -> 
+    | (ik, []) -> if global_opt.kcg then Lv6Id.no_pack_string_of_long ik else
       if no_prefix 
       then Lv6Id.no_pack_string_of_long ik 
       else Lv6Id.string_of_long ik
@@ -584,6 +584,8 @@ and string_of_eq_info_eff (leff_list, vee) =
 and (string_of_assert : Lic.val_exp srcflagged -> string ) =
   fun eq_eff -> 
     wrap_long_line (
+      (*if global_opt.kcg then "guarantee ID :"^ string_of_val_exp_eff eq_eff.it ^ ";"
+      else*)
       "assert(" ^ string_of_val_exp_eff eq_eff.it ^ ");")
 
 and (string_of_eq : Lic.eq_info srcflagged -> string) =
@@ -648,7 +650,9 @@ and (const_decl: Lv6Id.long -> Lic.const -> string) =
     (match ceff with 
       | Enum_const_eff(id, t)  -> "" 
       | Extern_const_eff _
-      | Abstract_const_eff _ ->
+      | Abstract_const_eff _ -> if global_opt.kcg then 
+	  "const imported " ^ (dump_long tname) ^ " : " ^ (string_of_type_eff (Lic.type_of_const ceff)) ^ (";\n")
+	  else
         begin_str ^ " : " ^ (string_of_type_eff (Lic.type_of_const ceff)) ^ 
           (*                (if global_opt.ec then ".\n" else  *)
           (";\n")
@@ -700,7 +704,7 @@ and node_of_node_exp_eff (neff: Lic.node_exp): string =
          | MetaOpLic -> (
             (* on écrit juste un alias *)
             " = "^
-            (string_of_node_key_def neff.node_key_eff)^
+          (string_of_node_key_def neff.node_key_eff)^
             (";\n")
          )
          | AbstractLic _ -> "; \n"