let rec has_many_MUXOr cycle tree =
    match cycle with
      x::tail -> if is_MUXor x tree then has_MUXOr tail tree else has_many_MUXOr tail tree
    | _ -> false