Updating: working more on ATS-extsolve-z3
Updating: working more on ATS-extsolve-z3

githwxi/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib