Added ability to translate to Z3-Str.