Tool to collect information from parity games