А сейчас как это моделируется?
## Код:
```
Первый этап;
IF первый этап удался THEN
   Второй этап;
END;
IF второй этап удался THEN
   Третий этап;
END;
IF третий этап удался THEN
   Завершающие действия;
ELSE
   Задача не выполнена;
END;
```

Да, AND THEN  является неделимой конструкцией - это хорошо.
Но не похоже ли это на if Дейкстры, который я приводил ранее в другой теме (viewtopic.php?p=57323#p57323)?