let do_le min1 max1 min2 max2 = if compare_max_min max1 min2 <= 0 then singleton_one else if compare_min_max min1 max2 > 0 then singleton_zero else zero_or_one