egraph饱和搜索