carlosgalvezp wrote: I agree that a new module seems unnecessary, do we know that it will contain more checks in the future? If not moving to llvm or plugins would perhaps be more suitable. https://github.com/llvm/llvm-project/pull/149148