feat: avoid duplicate arrays in SSA

[asterite]

Description

Problem

Resolves #5756

Summary

Though I didn't notice the example program was reduced by a lot (the keccak call did disappear, but a lot of constrains and array_get are still there).

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.

[jfecher]

Probably conflicting with #6071. I know that PRs been held up for a little while but I'd still like to get it fixed/merged

[asterite]

Oh, I didn't see that other PR. I noticed a test had "pending" on it while working on the SSA parser and realized it wasn't that hard to fix so I went for it. But it makes sense to wait for the other PR first 👍

[TomAFrench]

If this addresses #6492 then we should merge as a quick fix in the meantime.