Optimize Transition Exploration
Instead of storing transitions in the worklist of the DFS only store states and add all outgoing transitions in one step to the result.
This issue is only relevant if you start out with code from the LTL_to_DRA theories.