for ltlsynt parity game solving could stop once the winner of initial state is known
ltlsynt
only needs to know if the initial state is winning for player 0 or 1, so Zielonka can possibly be aborted erlier, as soon as the initial state is know to be winning for either player.