let
mem =
Stmt
.
Hashtbl
.mem states