import (
    "github.com/llir/llvm/ir"
    "github.com/llir/irsem"
)

mod := ir.NewModule()
// mod ...
irsem.Verify(mod)