Mem2reg regression after changes to remove underflows

[sirasistant]

Aim

Compile aztec contracts after https://github.com/noir-lang/noir/pull/6107

Expected Behavior

It should compile

Bug

error: Could not resolve some references to the array. All references must be resolved at compile time
  ┌─ contracts/pending_note_hashes_contract/src/main.nr:1:1
  │
1 │ // Test contract to confirm that notes can be inserted and then later
  │ -
  │
  = Call stack:
    1. contracts/pending_note_hashes_contract/src/main.nr:1:1

error: Could not resolve some references to the array. All references must be resolved at compile time
  ┌─ contracts/pending_note_hashes_contract/src/main.nr:1:1
  │
1 │ // Test contract to confirm that notes can be inserted and then later
  │ -
  │
  = Call stack:
    1. contracts/pending_note_hashes_contract/src/main.nr:1:1

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

No response

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response