Measure size of TreeMap [dev.]