int termId = lee.getValue().getTermId();
if (! (termId == lastTermId+1))
termIdsAligned = false;
if (termid2index[termId] != -1)
{
throw new WrappedIOException(new IllegalArgumentException("Termid " + termId + " is not unique - used at entries " +termid2index[termId]+ " and" + counter));
}
termid2index[termId] = counter;
lastTermId = termId;
//bsearch reduction optimisaion