XPathConvertor: added support for the div operator