https://discourse.julialang.org/t/unsupported-constraint-only-in-infeasibility-analysis/135721/5?u=odow