this automaton breaks print_hoa()
When the automaton parser merges multiple initial states, it might not always manage to preserve state-based acceptance. But currently it is forgetting to remove that property. The following example was sent by Raven Beutner.
% cat foo.hoa
HOA: v1
States: 8
Start: 0
Start: 1
AP: 0
acc-name: generalized-Buchi 2
Acceptance: 2 Inf(0)&Inf(1)
--BODY--
State: 0 {0} [t] 2 [t] 3 State: 1 {0} [t] 4 [t] 5 State: 2
{0} [t] 2 [t] 3 State: 3 {0} [t] 6 [t] 7 State: 4 {1} [t] 4 [t] 5
State: 5 {1} [t] 6 [t] 7 State: 6 [t] 6 [t] 7 State: 7 [t] 6 [t] 7
--END--
% autfilt foo.hoa
autfilt: print_hoa(): automaton has transition-based acceptance despite prop_state_acc()==true