let
length () =
Stmt
.
Hashtbl
.length
Param
.states