Fixed next instance command for z3