from qiskit import QuantumCircuit

# OpAfterMeas only on one CFG branch: a gate is applied to q0 after the
# measurement inside the `if` body, while the `else` resets it. The detector
# must follow the if-true path and flag the gate reachable after the measure.
qc = QuantumCircuit(1, 1)
qc.reset(0)
qc.h(0)
qc.measure(0, 0)
if some_flag:
    qc.h(0)      # BUG: gate on q0 after measure (if-true path)
else:
    qc.reset(0)