let
length () =
Stmt
.
Hashtbl
.length states