Exposing traversal in backward prover for efficient generation of all grounds in a game.