add:specmicp functor to set update in StepProblem
Add a functor which update the constraints in StepProblem.