Move variable assignment state to solver.