I have some models for which this is a problem: https://github.com/jump-dev/HiGHS.jl/pull/226 We should make sure to document this.