Release cvc4 1.8 is incompatible

[pjljvandelaar]

CVC4 released a new version: https://github.com/CVC4/CVC4/releases/tag/1.8

Unfortunately, it is incompatible with TorXakis: e.g. str.in_re iso str.in.re!

How do we want to handle this difference?

[pjljvandelaar]

with flag --lang=smt2.5 everything works fine.
without the flag one must replace two functions (within TorXakis)

• str.to.re -> str.to_re
• str.in.re -> str.in_re

[pjljvandelaar]

z3 version 4.8.9 also accepts str.to_re and str.in_re!
Even with (set-info :smt-lib-version 2.5)

[pjljvandelaar]

re.loop and re.^ seems relevant changes as well
Question loop without upperbound: how to realize?

[pjljvandelaar]

cvc4 returns a new escape sequence: \u{<hexadecimal>}