<xsl:variable name="no_expected_args" select="count($expected_args_types)"/>
<xsl:variable name="actual_arguments" select="*[position()>(1+$section_params)]"/>
<!-- First check that the induction principle is applied to the
<xsl:variable name="no_expected_args" select="count($expected_args_types)"/>
<xsl:variable name="actual_arguments" select="*[position()>(1+$section_params)]"/>
<!-- First check that the induction principle is applied to the