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