let usedNode tree nodet = 
    let rem = IdtMap.remove nodet.node.id tree.treeNodes 
    in let newTreeNodes = IdtMap.add nodet.node.id {number = nodet.number; allDone= true; node= nodet.node; children = nodet.children} rem 
    in {tree with treeNodes = newTreeNodes}