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