Bug in qasm2.loads with if statement

[david-pl]

MRE:

from bloqade import qasm2
import textwrap

qasm2_prog = textwrap.dedent(
    """
    OPENQASM 2.0;
    include "qelib1.inc";
    qreg q[1];
    creg c[1];

    if(c == 1) x q[0];
    """
)

main = qasm2.loads(qasm2_prog)

The frame seems to "lose" all previous definitions when lowering the if statement.
I've narrowed it down to this point in the code:

bloqade-circuit/src/bloqade/qasm2/parse/lowering.py

Line 162 in 89ffbab

with state.frame(node.body, region=frame.curr_region) as if_frame:

The self.current_frame.defs is not passed into the state.frame(...) and so later on it can't find q when lowering the if body.

@Roger-luo I think I'll need your help with this one.