docs: private void convertSingleProduction(String productionName,
  	    ParseTreeNode productionConstruction) throws TreeException,
  	    GrammarException {
  	ParseTreeNode alternativeIdentifier = productionConstruction
  		.getChild("AlternativeIdentifier");
  	Production production;
  	if (alternativeIdentifier == null) {
  	    production = new Production(productionName);
  	} else {
  	    ParseTreeNode alternativeIdentifierName = alternativeIdentifier
  		    .getChild("IDENTIFIER");
  	    if (alternativeIdentifierName == null) {
  		production = new Production(productionName);
  	    } else {
  		production = new Production(productionName,
  			alternativeIdentifierName.getText());
  	    }
  	}
  	production
  		.addAllConstructions(getConstructions(productionConstruction));
  	addOptions(production, productionConstruction);
  	productions.add(production);
      }