SpanNot sometimes forgets to call matches() on excl approximation

  @Override
  public int nextStartPosition() throws IOException {
    if (atFirstInCurrentDoc) {
      atFirstInCurrentDoc = false;
      assert matchStart >= 0; // add this assert
      return matchStart;
    }