let automtat_to_unify_format = (Hashtbl.create 600 : (string * string, string * Types_unify.term) Hashtbl.t)