The solutions of a goal, given one at a time as they are asked for
Whether the goal has another solution
The next solution, the graph of its resolution then given by the graph() of the solver
The solutions left, at most limit of them, each asked for once the one before it is given