2.10.11. ТУПИКИ

Вычисление хвоста $fail всегда дает $fail(0), т.е. неуспех серьезности 0.

Env,m,St |- $fail => $fail(0),St