for (int tidx=0, cnt=0; tidx < terminal.number(); tidx++, cnt++)
for (int pidx=0; pidx < production.number(); pidx++)
for (int pidx=0; pidx < production.number(); pidx++)
for (int pidx=0; pidx < production.number(); pidx++)
for (int pidx=0; pidx < production.number(); pidx++)
for (int pidx=0; pidx < production.number(); pidx++)