let addNewNode tree nodet outputs= let newTreeNodes = IdtMap.add nodet.id {number = NodeNumber.invalid_num; allDone= false; node= nodet; children = outputs} tree.treeNodes in {tree with treeNodes = newTreeNodes}