Merge: nitcc: add nfa transformation to remove epsilon

A NFA can be transformed to another NFA without epsilon-transition.
This is mostly useless but can make large NFA more readable.

Also add some bugfixes

Pull-Request: #2573