String transformations are used in data transformations [1]}, sanitization of untrusted inputs [2]}, [3]}, and many other domains [4]}.
Because in these domains bugs may cause serious security vulnerabilities [2]}, there has been increased interest
in building tools that can help programmers verify [2]}, [3]} and synthesize [1]}, [9]}, [10]} string transformations.
