474475476477478479480481482483484
isExecFinishedAndDisabled = true; throw new AbortedException(); } if (isDead()) { isExecFinishedAndDisabled = true; throw new DeathException(); } if (isHalt()) { isExecFinishedAndDisabled = true; if (isWinner) { throw new WinException();