I'd like to increase the diagnostics to know the cause of an infeasibility.

Hi. I remember that, in some other ocassions, I have seen messages saying something like "Problem is infeasible due to upper bound on row XXXX because column YYYY has a lower bound of #### implied by row ZZZZ". I was expecting to see messages like that.