let is_OR treenodeid tree = 
    let treenode = findnode treenodeid tree in
    match treenode.node.nname with
      Or -> true
    | _ -> false