带花树shrink函数中

if (x == find(x)) fa[x] = p;
if (y == find(y)) fa[y] = p;

不加会影响正确性吗？

assert之后是RE的。

逻辑上不加也说不通，但是为什么不会影响正确性呢？