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
We also need
rabin_like_to_rabin(aut), but there is no ordering difference in HOA in this case.