Hello Michael,

a small observation: it seems to me that in XSLT the determination of the default priority of templates sometimes occurs after rewrites, which is probably not quite correct. A silly example:
<xsl:template match="*"/>
<xsl:template match="*[true()]"/>

produces ambiguity messages (XTRE0540).

Kind regards,
Hans-Juergen