Add a test for the stepwise solver.
Start work on using a zipper to search for the solution.