adds smt2 print for strings