+ val update : t cache -> Ata.t -> Translist.t -> StateSet.t -> StateSet.t ->
+ t -> t -> t -> Tree.t -> Tree.node -> StateSet.t * t
+ val print : Format.formatter -> t -> unit
+ val var : int -> t -> t
+ val close : ((int*State.t, NS.t) Hashtbl.t) -> t -> t
+ val is_open : t -> bool