Sidekick repo to https://github.com/mtzguido/z3-poly-testing