resolves #2 (closed)
Resolve "Renaming of Nonterminal Does Not Rename All Occurences" Closes #1 See merge request !1