A propos des traces incorpores et des couches alpha

- перемещение оператора отведения памяти под управляемую переменную по пути, ведущему к конечному оператору программы;
- совмещение по памяти динамических информационных объектов, например, замена стека локальных переменных или параметров, вовлекаемых в рекурсию, одинарной переменной.

В эту же группу входит и запроцедуривание - поиск в программе похожих фрагментов и формирование их в виде процедуры.