let replace = Stmt.Hashtbl.replace Param.states