multiple_ranges_where.tc: Add check for numerical upper bound of inferred range
multiple_ranges_where.tc: Add check for numerical upper bound of inferred range

Co-authored-by: Andi Drebes <dbd122ef7b6a09ffecf5db9c9296320f3c94e707@drebesium.org>

andidr/teckyl,andidr/teckyl,andidr/teckyl