Field and new instrumentation. Global data structures.
First working prototype.
Some fixes in tests and implementation.
Updated expected results for test cases.
Nullability and bug fixes in transducer generation.
Simplified FST generation.
Simplifications and test coverage.
Some cleanup in TransClass.
Extended and simplified unit tests.
Some optimizations in transitive epsilon closure to improve some obvious
bottlenecks.
Some clean-up in permission FSTTest.
Enforced invariant that statusQuo is not updated but only replaced by
using unmodifiable collection. Invariant allows cheap clone method.
Made subset method in Permission static for performance reasons.
Updated traversal implementation - early termination in case the current
state set is empty - no non-NONE permissions reachable.