// Structure-building
 public void setNextSibling(TreeSpecifierNode sibling) {
   nextSibling = sibling;
   sibling.parent = parent;
 }
 public void setFirstChild(TreeSpecifierNode child) {
   firstChild = child;
   child.parent = this;
 }