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