Warrants investigation: Segfault with some instances

diameterc-mstc-v20a190d5i.mps  ghoulomb4-9-10i.mps  mspsphard03i.mps         splice1k1i.mps
diameterc-msts-v40a100d5i.mps  k1mushroomi.mps      oocsp-racks030e6cci.mps  supportcase21i.mps
fjspeasy01i.mps                mspsphard01i.mps     oocsp-racks030f7cci.mps  supportcase28i.mps

crashes Exact. Other solvers have no problem with that/