souflle js 抽象相等 == 的内部逻辑