let
add =
Stmt
.
Hashtbl
.add states