bogus acceptance simplification
This simplification seems incorrect. In the first automaton, the self-loop on state 0 is accepting (thanks to Fin(1)
) but in the second it is rejecting.
% ltl2tgba -G -D 'FGa' | autfilt --complement

% ltl2tgba -G -D 'FGa' | autfilt --complement | autfilt --simplify-acceptance
