Error: cannot solve opcode: expression has too many unknowns

[ax0]

Aim

Generate a proof for this test.

Expected behavior

Proof is successfully generated.

Bug

We get the following error:

Error: cannot solve opcode: expression has too many unknowns %EXPR [ (1, _594) (-2⁸, _611) (-1, _612) 2⁷ ]%

Caused by:
    expression has too many unknowns %EXPR [ (1, _594) (-2⁸, _611) (-1, _612) 2⁷ ]%

To reproduce

Run the following commands:

1. git clone -b alt-impl https://github.com/aragonzkresearch/noir-storage-proofs
2. cd noir-storage-proofs/tests/rlp_decode/
3. nargo prove

Installation method

Compiled from source

Nargo version

nargo 0.5.1 (git version hash: 9f43450, is dirty: false)

@noir-lang/noir_wasm version

No response

@noir-lang/barretenberg version

No response

@noir-lang/aztec_backend version

No response

Additional context

No response

Submission Checklist

• Once I hit submit, I will assign this issue to the Project Board with the appropriate tags.