simplify acceptance miscounts the number of of sets?
While trying to reduce #324 (closed), I discovered that
% autfilt --simplify-acceptance <<EOF
HOA: v1
States: 1
Start: 0
AP: 2 "a" "b"
acc-name: Rabin 3
Acceptance: 6 (Fin(0) & Inf(1)) | (Fin(2) & Inf(3)) | (Fin(4) & Inf(5))
properties: trans-labels explicit-labels trans-acc complete
properties: deterministic
--BODY--
State: 0
[!0&!1] 0 {0 4}
[!0&1] 0 {0 3 4}
[0&!1] 0 {2 5}
[0&1] 0 {1 2 5}
--END--
EOF
outputs
HOA: v1
States: 1
Start: 0
AP: 2 "a" "b"
acc-name: generalized-Rabin 3 0 1 1
Acceptance: 4 Fin(0) | (Fin(1) & Inf(2)) | (Fin(3) & Inf(4))
properties: trans-labels explicit-labels trans-acc complete
properties: deterministic
--BODY--
State: 0
[!0&!1] 0 {0}
[!0&1] 0 {0 3}
[0&!1] 0 {2}
[0&1] 0 {1 2}
--END--
Note that the acceptance condition declares 4 sets but uses 5!