Some comments added in module improved_fast_endgame_solver.