https://github.com/matthias-springer approved this pull request. Look good overall. Is there some documentation that should be added [here](https://mlir.llvm.org/docs/PatternRewriter/#greedy-pattern-rewrite-driver)? https://github.com/llvm/llvm-project/pull/225814