Hi everyone, I’ve been working for a couple of months on the TVM stack and I really like it

I have a question related to the use of TVM 0.7 APIs, in particular `tvm.tir.transform.Simplify`

.

In TVM 0.6 I could simply call `tvm.tir.ir_pass.Simplify(stmt)`

in any of my custom IR passes to leverage the benefits of simplified arithmetics. I would then be able to apply further optimizations on top of the simplified IR.
I read the documentation (here) and I’ve tried several ways to obtain the same result in TVM 0.7 but I have not found a way to leverage `tvm.tir.transform.Simplify`

. I think I might be missing something.

What is the correct way to use this API? Could you show me an example in which you pass a `tir.PrimFunc`

or a `stmt`

object to the new API?

Thank you!