<xsl:apply-templates mode="noannot" select="*[5]"/>
<xsl:apply-templates mode="pure" select="*[3]"/>
<xsl:apply-templates mode="pure" select="*[6]"/>
- <xsl:apply-templates mode="pure" select="*[7]"/>
+ <xsl:apply-templates mode="proof_transform" select="*[7]"/>
</m:apply>
</xsl:when>
<!-- EQUALITY with extra-parameters -->