Text this: Tailoring Programs for Static Analysis via Program Transformation.