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