A saxon:finally instruction may be included as the last child of saxon:iterate; it is executed when
the end of the input sequence is reached. It is not evaluated if the loop is terminated using saxon:break. The focus
(context node, position, and size) for this instruction is undefined; however, variables
declared within the loop including the loop parameters are available for reference. The loop parameters have
their values as set by the saxon:continue instruction that ended the last normal iteration.
For further details and examples see saxon:iterate.
This instruction is available in Saxon-EE only
