Symbol: SOLVER_NOOP