code: def test_everything_during_deduction():
      m = te.size_var("m")
      n = te.size_var("n")
      ib = tvm.tir.ir_builder.create()
      with ib.for_range(0, n, "i") as i:
          with ib.for_range(0, 32, "j") as j:
              with ib.if_scope(ib.likely(tvm.tir.truncdiv(i, j) < m)):
                  # this guard will produce everything during deduction
                  ib.emit(tvm.tir.Evaluate(m))
      stmt = ib.get()
  
      mod = tvm.IRModule.from_expr(
          tvm.tir.PrimFunc([m, n], stmt).with_attr(
              "global_symbol", "main"
          )
      )
      mod = tvm.tir.transform.LoopPartition()(mod)
      stmt = tvm.tir.transform.Simplify()(mod)["main"].body
  
      assert isinstance(stmt.body.body, tvm.tir.IfThenElse)
  
imports: import pytest
  import tvm
  import tvm.testing
  from tvm import te
  from tvm.ir.module import IRModule
  from tvm.script import tir
  import numpy
label_desc: Use image node_id 12 for calling a global function with example usage: test_everything_during_deduction() without return types