For internal spidr use only.
addArithRaisingPass : HasIO io => PassManager -> io ()
enzymeAD : HasIO io => List Nat -> ModuleOp -> MLIRContext -> io ()