Well, saying that "regardless what input is supplied, the transformation will never fail with a dynamic error" might be part of the specification of what correctness is for a particular transform.

Proving (or even, convincing your audience) that the transform will never fail with a dynamic error, for any input, is another matter entirely.

Michael Kay

Saxonica