A trivial example that returns infeasible

The following univariate example returns infeasible even though it should be a very simple problem. For the purposes of debugging, is it possible to have the domain of the SOS constraint printed out?
```julia
using DynamicPolynomials
using SumOfSquares
using MosekTools
@polyvar x
S = @set -1 <= x && x <= 1

import Mosek
model = SOSModel(Mosek.Optimizer)
set_silent(model)
con_ref = @constraint(model, x^2 <= 1.1, domain = S)
optimize!(model)
solution_summary(model)
```

Start with the provided Julia reproducer, especially the @constraint call with domain = S and the subsequent solution_summary(model). Run it with DynamicPolynomials, SumOfSquares, and MosekTools, then trace how the SOS constraint domain is handled and reported. Done means the infeasible result can be investigated from the displayed domain information.

Written by the indexing model from the issue text.