fix(ssa): Handle array get result under predicate

[vezenovm]

Description

Problem*

Resolves #8236

Alternative to #8355

Summary*

Additional Context

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[vezenovm]

Closing for now. This was an initial naive attempt at an optimization. For now we can go forward with #8355 which fixes the linked issue and look at bringing back the array get optimization later.