Updating the Z3 ATS2 library to its current state.