Symbol: solver_take_solutionelement