Утверждения для разветвляющегося алгоритма