https://lacucinadiadine.blogspot.com/2024/05/how-to-convert-z3py-expression-to.html