issue with alternation removal
The following alternating co-Büchi automaton accepts cycle{!a&b}
but the TGBA produced by remove_alternation
rejects this word...
Reproduce with remove_alternation_bug.ipynb
The following alternating co-Büchi automaton accepts cycle{!a&b}
but the TGBA produced by remove_alternation
rejects this word...
Reproduce with remove_alternation_bug.ipynb