missing test for reachable parity game
The code coverage report points that the reachability game of misc/game.c
is unused. So it is lacking a test.
Since we have two algorithms, it should be quite easy to add a test case that makes sure they agree.