枚举变量扩展-2

在前一篇文章里，可能有人注意到了：扩展结果中会出现同一变量的不同实例，如果我们要增加一个限制，扩展结果中每个变量都必须引用相同的实例，该怎么做？