Saxon

Given a streamed xsl:copy instruction where the node kind that it applies to can't be determined statically, the expression is split into two:

if (kind = (attribute, namespace, text, comment, pi))
  then copy-of(.)
  else copy(....)

But typically the result goes through the optimizer more than once, and on the second pass through it becomes:

if (kind = (attribute, namespace, text, comment, pi))
  then copy-of(.)
  else if (kind = (attribute, namespace, text, comment, pi))
  then copy-of(.)
  else copy(....)

with the number of branches in the conditional increasing on each pass through the optimizer.

Seen in test case si-apply-templates-010.