Enter strings are generated so that they thoroughly protect DFA transitions and paths. Facts era takes place appropriate immediately after DFA building and before any optimizations, nevertheless the lexer itself is fully optimized, so skeleton programs are able to revealing any problems in optimizat