smtlib.theories.experimental.Strings.Experimental
String SuffixOf. Arguments (s, t) where s and t are string terms. It returns true if the string s is a suffix of the string t.
String SuffixOf. Arguments (s, t) where s and t are string terms. It returns true if the string s is a suffix of the string t.