For an infeasible model, indicates whether the upper bound participates in the computed Irreducible Inconsistent
Subsystem (IIS). Note that the bounds for a binary variable are considered to be implicit in the variable type and will
never participate in an IIS.

Only available after you have computed an IIS.