docs: private MemoEntry processTerminal(ParseTreeNode node, Terminal terminal, int position, int line)
  	    throws TreeException {
  	printMessage("applyTerminal: " + terminal, position, line);
  	TokenDefinitionSet tokenDefinitions = grammar.getTokenDefinitions();
  	TokenDefinition tokenDefinition = tokenDefinitions.getDefinition(terminal.getName());
  	MemoEntry result = processTokenDefinition(node, tokenDefinition, position, line);
  	if (result == null) {
  	    throw new RuntimeException("There should be a result not null!");
  	}
  	printMessage("applied Terminal '" + terminal + "' (" + result.getAnswer() + ").", position, line);
  	return result;
      }