Документация Engee
Model Verification
Assertion
Проверка на нулевое значение сигнала.