compiles
local variable replacement algorithm skeleton