let automate_types_to_unify_types = (Hashtbl.create 600 : (string, int) Hashtbl.t)