Повредитесь, когда отладчик столкнется с состоянием неродного ограничения размера
xbreak x
xbreak команда приостанавливает выполнение модели, когда отладчик сталкивается с состоянием, которое ограничивает размер шагов, которые делает решатель. Если xbreak режим уже включен, xbreak выключает режим.