@Override
  public XPathVariableDeclaration @NotNull [] getVariables() {
    return findChildrenByClass(XPathVariableDeclaration.class);
  }
@Override
  public XPathVariableDeclaration @NotNull [] getVariables()