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