Переписывание дерева регулярного выражения в инициализацию регулярного выражения в языке SMT2

Задача - переписывание дерева регулярного выражения в инициализацию регулярного выражения в языке SMT2 (через методы построения класса re и str.to_re для константных строк). При этом, если в регулярном выражении есть конкатенация нескольких литер, то представление этой конкатенации должно быть именно через путь: строка целиком => str.to_re, а не через использование последовательных методов re.++