docs: private void processIgnoredTokens(ParseTreeNode node, int position, int line, MemoEntry progress)
  	    throws TreeException, ParserException {
  	MemoEntry newProgress = processIgnoredTokens(node, position + progress.getDeltaPosition(),
  		line + progress.getDeltaLine());
  	if ((!newProgress.getAnswer().equals(Status.FAILED)))
  	    progress.add(newProgress);
      }