TigerXMLCorpusReader.py: fix bug with renumbering non-terminals