https://5dok.net/document/zpnxdvdv-formal-proof-termination-zielonka-algorithm-solving-parity-games.html