Adds z redefinition test case