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