用反合一（anti-unification）对形式化策略做语义 diff

这篇 AWS 博客介绍一种基于反合一（anti-unification）的形式化策略语义 diff 方法：在 e-graph 上声明代数法则与领域规则后，引擎只显示两个策略的共享部分，并对每处分歧保留两个版本；若无剩余差异，则在给定规则下两策略等价。