coercions wip

src/core/coercion.ml

@@ -74,6 +74,7 @@ let rec add_crc crcmap crc trans =
       Mts.fold (close_right crc) m1 crcmap_uc1 in
     Mts.fold (close_left_right) crcmap_uc2 crcmap_uc2
 
+
 let add crcmap ls =
   let c = create_crc ls in
   add_crc crcmap c true

src/core/theory.ml

@@ -284,6 +284,7 @@ let empty_theory n p = {
 
 let close_theory uc = match uc.uc_export with
   | [e] ->
+     Coercion.print uc.uc_crcmap;
     { th_name   = uc.uc_name;
       th_path   = uc.uc_path;
       th_decls  = List.rev uc.uc_decls;