ap.theories.strings
Sort for strings that will reconstruct terms with the help of the str_empty and str_cons functions.
str_empty
str_cons