PetScan::set_upper_bounds: convert array bounds to pet_expr first