let add = Stmt.Hashtbl.add states