What challenges does Large-Scale Semantic Code Transformation address?

GQ-0035