程序自动分析-并查集