rab_solver no longer adopts the malloc/free practice to traverse the game tree.