Attractor decompositions for solving parity and Rabin games