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