let
iter f =
Stmt
.
Hashtbl
.iter f states