Symbol: solver_next_solutionelement