Updating the Z3 ATS library to its current state as I've been using it.