Hi Michael,

1. I compile the following XPath Query: /element[//a]
2. I get an (internal) Expression: let $zz:zz16267615 := lazy(((/)/descendant::a)) return (((/)/child::element)[$zz:zz16267615])
3. On this LetExpression, I call the getSequence method in order to bound the variable.
This method returns lazy(((/)/descendant::a)) while I expect (((/)/child::element)[lazy(((/)/descendant::a))]

Test done with saxon9he.jar.

Could you help me?

Regards,
-- 
Denis Debarbieux
Engineer at INRIA
+33 (0)3.59.57.78.15
Skype: denis.debarbieux