use Saxen for the XPath2.0 parser