docs: private String createNewIdentifier(ParseTreeNode productionPart, String suffix)
  	    throws TreeException {
  	String identifier = "";
  	if (productionPart.hasChild("IDENTIFIER")) {
  	    identifier = productionPart.getChild("IDENTIFIER").getText();
  	} else if (productionPart.hasChild("STRING_LITERAL")) {
  	    identifier = productionPart.getChild("STRING_LITERAL").getText();
  	}
  	return createIdentifierName(identifier, suffix);
      }