public TokenIterator(TokenSequence ts) {
   subiterator = ts.iterator();
 }