I don't think WARP is violated over here until we are told what she chooses from x,y,z.
Rather SARP is clearly violated even if her last choice is not known.
Then answer should be (c), but, in the key it is given to be a.
ans is option a because in the 1 situation x is preferred to y and in 2 situation y is preferred to z so in the 3 situation x is preferred to z but here z is preferred.
Isn't X is getting indirectly not revealed preferred to Z.
If it had been directly revealed preferred, like first x preferred to y, then Y preferred to X. Then, it should be violation of WARP.
Tell me if I am interpreting WARP wrongly.