mip-constr-bounds-spike (wip; continued)