Debugger enters both the "then" and the "else" statement of a single "if"

[nickysn]

Aim

Executing a noir program one statement at a time inside the debugger.

Expected Behavior

When stepping through an "if" conditional, it is expected that after evaluating the boolean condition, the debugger should step either inside the "then" statement, or inside the "else" statement, but not go through both.

Bug

In certain cases, the debugger steps inside the "then" statement first, then on the next step it goes inside the "else" statement. In reality, only the "else" statement should be executed (because the boolean condition of the "if" is false) and the debugger should not enter the "then" statement at all.

To Reproduce

1. Extract the Noir project that demonstrates the bug:
   if_then_else_reduced.tar.gz
2. start "nargo debug" inside the project directory
3. type "next" 9 times until the "if" condition is highlighted:
   
4. type "next" one more time. The debugger enters the "then" statement (which is incorrect):
   
5. type "next" one more time. The debugger jumps inside the "else" statement:
   

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

Nice-to-have

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

[smanilov]

@anaPerezGhiglia , I think you might be interested in this issue, because of your comments on #5706