to_finite seems broken with complete input
% ./ltlfilt -f '(i->XXo)|G(i<->Xo2)' --from-ltlf | ./ltl2tgba -D| ./autfilt -C --to-finite
autfilt: print_hoa(): automaton is not universal but prop_universal()==true
% ./ltlfilt -f '(i->XXo)|G(i<->Xo2)' --from-ltlf | ./ltl2tgba -D| ./autfilt -C --to-finite
autfilt: print_hoa(): automaton is not universal but prop_universal()==true