We currently use eg `ctx.operations.keys`, or iterate on `0 .. op.getNumOperands`. We should try to use iterator instead.
We currently use eg
ctx.operations.keys, or iterate on0 .. op.getNumOperands. We should try to use iterator instead.