Adapt Z3 tutorial to recent changes