Tracing Program Transformations with String Origins.

Tools