我又来了。

1. 并查集 fa 数组未初始化，（如果写的是启发式合并并查集）sz 数组未初始化。

2. 如果你的并查集合并是这样写的：

fa[find(y)]=find(x);
st[++tp]=mk(find(x),find(y));//加入撤销栈

恭喜你 WA 了。好的实现方式是把 find(x) 和 find(y) 预先用变量存下来。
3. 往线段树插区间时未检查是否 $l<=r$ 。