code: public void setChildren(Iterable<? extends NodeInfo> children) {
          Level current = path.getLast();
          current.children.clear();
          appendChildren(children);
      }
docs: Adds knowledge about the current node's children replacing
  existing knowledge.