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
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information