Без заголовка

Я вот люблю заниматься верификацией и сложные задачки решать. Но как только я дошел до фрейм-кондишенз, я понял, что все, стратегически это жопа. Проще заново переписывать. Грубо говоря, описывать все эти фрейм-кондишенз - это все равно что документировать и автоматизировать хреновые бизнес-процессы.