">     <xsl:variable name="name" select="@name"/>     <xsl:variable name="arity" select="@arity"/>     <xsl:variable name="spec0">       <xsl:call-template name="find_spec"/>     </xsl:variable>     <xsl:variable name="spec" select="exsl:node-set($spec0)/spec"/>     <xsl:variable name="clause" select="$spec/contract/clause"/>      <xsl:variable name="global_types" select="ancestor::erlref/datatypes"/>  