Updating: improving contrib/SMT/Z3/.