Tool to reduce parity games