Improve invalidation on variable propagation to make it correct.