Изменён порядок изменения активности диъюнктов при бэктрекинге на
обратный.
Ошибка не найдена.