public ImmutableTreeNode wrapToTreeNode() {
TreeNodeWrapper wrapper = new TreeNodeWrapper(structure);
ImmutableTreeNode treeNode;
readLock();
treeNode = wrapper.wrap(new TreeIterator(structure, false, Tautology.instance));
readUnlock();
return treeNode;
}
public int getChildrenCount(Node node) {