[clang] [analyzer][NFC] Simplifications in ArrayBoundV2 (PR #67572)

[Balazs Benics via cfe-commits]

steakhal wrote:

I remember I looked this once. I postponed my comments because I was expecting some numbers or confirmation of that this patch is indeed NFC, thus no report or notes change. I'm not sure if this actually holds, given the changes, but let me know in any case.

BTW I'm fine with slight modifications if we call it NFCI or just without NFC.

If really nothing changes, consider this approved :)

https://github.com/llvm/llvm-project/pull/67572