Fast and Scalable Change Propagation through Context-Insensitive Slicing