016 et sortie un livre

4.4.2. Замена переменных в операторах условного перехода и
устранение неиспользуемых определений

В результате сокращения глубины операции рекурсивная


программная переменная (определенная через саму себя),


являющаяся управляющей в операторе условного перехода, может


быть заменена в нем генерируемой переменной t(mt-


идентификатором).