Identification et selection objets imbriques

1) операторы вставляются во все блоки, непосредственно


предшествующие области, которые имеют только один


неосредственно следующий блок. Вставляемые операторы


записываются перед оператором перехода.
2) из псевдоблока создается формальный блок, который


вставляется на всех входных путях, идущих от непосредственно


предшествующих блоков, имеющих несколько преемников.
3) если входной блок программы принадлежит области Rk, то


псевдоблок формируется в формальный блок и ставится на неявном


пути между внешним и вызывающим оператором и начальным блоком.
Это соответствует созданию нового блока.