Lowering for computed variables
More optimization of bound tree, including inline stack access