docs: private void processIgnoredLeadingTokens(ParseTreeNode node, int position, int line, MemoEntry progress)
  	    throws TreeException, ParserException {
  	if (ignoredLeading) {
  	    processIgnoredTokens(node, position, line, progress);
  	}
      }