convertion to generalized Rabin

It would be useful to be able to convert any acceptance condition to generalized Rabin

This would work as follows:

• convert acceptance to DNF
• in each clause, merge Fin(x1)&Fin(x2)&...&Fin(xn) into a single Fin(y)