code: def test_mul_div():
      ck = IntSetChecker()
      x, y = te.var("x"), te.var("y")
  
      tdiv = tvm.tir.truncdiv
      ck.analyzer.update(
          y, tvm.arith.ConstIntBound(1, 100), override=True
      )
      ck.verify(x * y, {x: tvm.arith.IntervalSet(0, 10)}, (0, 10 * y))
      ck.verify(x * 2, {x: tvm.arith.IntervalSet(1, 10)}, (2, 20))
      ck.verify(x * -2, {x: tvm.arith.IntervalSet(1, 10)}, (-20, -2))
  
      ck.verify(
          tdiv(x, y),
          {x: tvm.arith.IntervalSet(0, 10)},
          (0, tdiv(10, y)),
      )
      ck.verify(tdiv(x, 2), {x: tvm.arith.IntervalSet(1, 10)}, (0, 5))
  
      fld = tvm.te.floordiv
      ck.verify(
          fld(x, y), {x: tvm.arith.IntervalSet(0, 10)}, (0, fld(10, y))
      )
      ck.verify(fld(x, 2), {x: tvm.arith.IntervalSet(-1, 10)}, (-1, 5))
  
imports: import tvm
  import tvm.testing
  from tvm import te
  from tvm import tir
  from tvm.arith.analyzer import Analyzer
label_desc: Use image node_id 4 for calling a global function with example usage: test_mul_div() without return types