Add numbering of production rules