XSLT 1.0：[not（./@ id =前面的:: a / @ id）]过滤器两次显示第一个元素

我似乎犯了一些简单/愚蠢的错误。

给定以下（简化的）xml：

<xml>
  <a id="0" />
  <a id="0" />
  <a id="0" />
  <a id="2" />
  <a id="2" />
</xml>

并给出以下（简化的）xslt：

<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
<xsl:template match="xml">
  <xsl:for-each select="//a[not(./@id = preceding::a/@id)]">
    id=<xsl:value-of select="@id" />
  </xsl:for-each>
</xsl:template>

这给了我以下输出：

<?xml version="1.0" encoding="UTF-8"?>
id=0
id=0
id=2

可以看到，with元素id=0被处理了两次，尽管应该只处理一次。在XML输入中，它出现3次，并且该问题仅出现在第一个元素上（因为with元素id=2仅被正确处理了一次）。

请注意，由于原始XML更复杂，因此我需要使用前置过滤器（而不是前置兄弟）。我还需要使用XSLT 1.0，因为我使用Xalan 2.7.1作为Xslt处理器。