tree.c (range_in_array_bounds_p): New predicate.