Now handle all constraints in an upgrade request for the internal solver.