Система компиляции VII. Доминирование