let automate = (ref [] : (string * int * (string * bool Pervasives.ref) list Pervasives.ref *
((string * string) *
((string list * string list) * (string list * string list)) *
(string * string))
list)
list Pervasives.ref)