Symbol: uint_range_overlaps