--dualize seems to fail if the input has universal init state
$ cat >foo.hoa
HOA: v1
States: 10
Start: 0&4
AP: 2 "p0" "p1"
Acceptance: 2 Inf(0) | Inf(1)
properties: trans-labels explicit-labels trans-acc univ-branch
--BODY--
State: 0
[1] 1 {0}
[0&!1] 2 {0}
[!1] 3
[!1] 0
State: 1
[t] 1 {0}
State: 2
[0] 2 {0}
State: 3
[1] 1 {0}
[!1] 3
State: 4
[0] 5 {1}
[t] 6
[!0] 7 {1}
[t] 4
State: 5
[!0] 8 {1}
State: 6
[!0] 9
State: 7
State: 8
[t] 8 {1}
State: 9
[0] 8 {1}
[!0] 9
--END--
$ autfilt --dualize foo.hoa
autfilt: set_init_state() called with nonexisting state