Updating: improving contrib/SML/Z3.