https://github.com/IgWod-IMG commented: Would it be possible to use `ConfinedAttr` even if it's just for a part of the verification? (see: https://mlir.llvm.org/docs/DefiningDialects/Operations/#confining-attributes) https://github.com/llvm/llvm-project/pull/150901