Completed variable propagation change