@Override
  public void visitXPathElement(XPathElement o) {
    if (o instanceof XPath2ElementImpl) {
      visitXPath2Element(o);
    } else {
      super.visitXPathElement(o);
    }
  }
@Override
  public void visitXPathElement(XPathElement o)