let length () = Stmt.Hashtbl.length states