update z3 instructions