Когда идёт последовательный отбор всех предполагаемых вариантов IF ... ELSIF ... и ветка ELSE в них не входит, нужно вручную ставить стопор, типа HALT(100).
## Код:
```
ASSERT((a IN {0..1}) & (b IN {0..1}), 20);
IF (a = 1) & (b = 1) THEN
  ...
ELSIF (a = 0) & (b = 1) THEN
  ...
ELSIF (a = 1) & (b = 0) THEN
  ...
ELSE (* прочие варианты не предполагаются по логике программы *)
  HALT(100)
END
```
15.06.11: уточнил пример по обсуждению ниже

Это как-то порекомендовалInfo21--- решил попробовать. Не могу сказать, чтобы ставил везде, но в важных местах ставил.

Сегодня один стопор сработал. От момента исключения (вываливания трапа) до исправления ошибки прошло 30 минут. Без него не известно, сколько бы пришлось возиться и искать --- от чего то, что должно делаться, в определённый момент --- не делается. И то, только после того, как факт неделания обнаружился бы при использовании --- сразу бы этого не произошло.

Теперь буду везде ставить. Собственно, это ничем (кроме ручной писанины) не отличается от CASE и WITH без ELSE.