let
replace =
Stmt
.
Hashtbl
.replace
Param
.states