<xsl:template match="ConstantType|ConstantBody|CurrentProof|InductiveDefinition|Variable">
<xsl:variable name="id" select="@id"/>
<xsl:template match="ConstantType|ConstantBody|CurrentProof|InductiveDefinition|Variable">
<xsl:variable name="id" select="@id"/>