added instruction to change branch for z3