let markedNode tree nodet = 
    let rem = IdtMap.remove nodet.node.id tree.treeNodes 
    in let newTreeNodes = IdtMap.add nodet.node.id {number = NodeNumber.get (); allDone= false; node= nodet.node; children = nodet.children} rem 
    in {tree with treeNodes = newTreeNodes}