Optimize product construction
The product construction in the ParityAutomatonTree
can still be optimized:
- Try to reduce number of case distinctions by more general rules
- Reduce the size of the state spaces, as round-robin counters and minimal parity does not need to be saved for all inner nodes