Symbol: solver_node