docs: private final void shiftIgnoredTokens() {
  	if (streamPosition == getTokenStream().size()) {
  	    return;
  	}
  	Token token = getTokenStream().get(streamPosition);
  	while (token.getVisibility() == Visibility.IGNORED) {
  	    streamPosition++;
  	    if (streamPosition == getTokenStream().size()) {
  		break;
  	    }
  	    token = getTokenStream().get(streamPosition);
  	}
      }