smtlib.theories.experimental.Strings.Regex
Regular Expression Kleene-Cross (equivalent to Loop(r, 1))
Regular Expression Kleene-Cross (equivalent to Loop(r, 1))