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