code: def test_add_sub():
      ck = IntSetChecker()
      x, y = te.var("x"), te.var("y")
      ck.verify(x + y, {x: tvm.arith.IntervalSet(0, 10)}, (y, 10 + y))
      ck.verify(
          x + y,
          {
              x: tvm.arith.IntervalSet(0, 10),
              y: tvm.arith.IntervalSet(1, 11),
          },
          (1, 21),
      )
      ck.verify(
          x - y,
          {
              x: tvm.arith.IntervalSet(0, 10),
              y: tvm.arith.IntervalSet(1, 11),
          },
          (-11, 9),
      )
  
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 3 for calling a global function with example usage: test_add_sub() without return types