let node_to_string tnode = 
    let innode = tnode.node
      in let description = nodedesc innode.nname
        in let nodetext = description.nodelabel innode.otherdims
          in (NewName.to_string innode.id )^" "^nodetext