docs: private void convert() throws GrammarException, TreeException {
  	convertOptions();
  	convertTokenDefinitions();
  	convertProductions();
  	grammar = new Grammar(options, tokenDefinitions, productions);
      }