Update Z3 tutorial example