let replace = Stmt.Hashtbl.replace states