Updating: moving SMT/Z3 into ATS-Postiats-contrib