程序自动分析 (离散化并查集)