root = Answer([check])
```qasm bell
OPENQASM 3.0;
qubit[2] q;
bit[2] c;
h q[0];
cx q[0], q[1];
c = measure q;
```
check = Verdict(@Check(bell, {"00": 1.0}))