expose more Z3 functions
Merge branch 'interacting-solvers' of github.com:timfel/babelsberg-r into interacting-solvers