Compilation works for all XPath queries from the core specified in the thesis