root = Answer([same, check])
```qasm grover
OPENQASM 3.0;
include "stdgates.inc";
qubit[2] q;
bit[2] c;
h q;
cz q[0], q[1];
h q;
x q;
cz q[0], q[1];
x q;
h q;
c = measure q;
```
```qasm grover_cx
OPENQASM 3.0;
include "stdgates.inc";
qubit[2] q;
bit[2] c;
h q;
h q[1];
cx q[0], q[1];
h q[1];
h q;
x q;
h q[1];
cx q[0], q[1];
h q[1];
x q;
h q;
c = measure q;
```
same = Equivalence(@Equivalent(grover, grover_cx))
check = Verdict(@Check(grover, {"11": 1.0}))