another simulation missed reduction
Potentially related to #452 (closed), although this one is not about trivial SCCs.
The command:
ltl2tgba -x tba-det -D 'X(F((!(p0)) | (G(F(p1)))))'
creates the following automaton:
however @jdubois' new simulation creates the following better version:
Currently the "don't care" edges are only handled for trivial SCCs, but this is a case where considering 1->3 as labeled by ⓪ would help.