streett-like to streett
We need a streett_like_to_strett(aut, reversed=false)
that converts Streett-like acceptance into Streett as defined in HOA 1.1 (if reversed = false) and as defined in HOA 1.0 if reversed=true.
For the record, HOA 1.1 (which might be renamed as 2.0) wants (Inf(0)|Fin(1))&(Inf(2)|Fin(3)&...
while HOA 1.0 wants (Fin(0)|Inf(1))&(Fin(2)|Inf(3)&...
.
We also need rabin_like_to_rabin(aut)
, but there is no ordering difference in HOA in this case.