exclusive ap simplification broken?
% ltl2tgba -f 'a U b' | autfilt --exclusive-ap=a,b,c --simplify-exclusive-ap
autfilt: print_hoa(): automaton is not universal but prop_universal()==true
% ltl2tgba -f 'a U b' | autfilt --exclusive-ap=a,b,c --simplify-exclusive-ap
autfilt: print_hoa(): automaton is not universal but prop_universal()==true