Add Z3-str