Simple scope simulation during value propagation