<m:apply helm:xref="{@id}">
<m:csymbol>mutcase</m:csymbol>
<xsl:apply-templates select="patternsType/*[1]" mode="noannot"/>
<xsl:apply-templates select="inductiveTerm/*[1]" mode="noannot"/>
<m:apply helm:xref="{@id}">
<m:csymbol>mutcase</m:csymbol>
<xsl:apply-templates select="patternsType/*[1]" mode="noannot"/>
<xsl:apply-templates select="inductiveTerm/*[1]" mode="noannot"/>