Trim redundant nodes and transitions after minimizing NFAs
Parser throws NoMainProductionException
Some corrections to WirthSyntaxNotation's serialization.
Continued development of grammar editing