code: def test_basic():
      a = te.var("a")
      b = te.var("b")
      c = te.var("c")
      m = tvm.arith.detect_clip_bound(
          tvm.tir.all(a * 1 < b * 6, a - 1 > 0), [a]
      )
      tvm.testing.assert_prim_expr_equal(m[1], b * 6 - 1)
      assert m[0].value == 2
      m = tvm.arith.detect_clip_bound(
          tvm.tir.all(a * 1 < b * 6, a - 1 > 0), [a, b]
      )
      assert len(m) == 0
      m = tvm.arith.detect_clip_bound(
          tvm.tir.all(a + 10 * c <= 20, b - 1 > 0), [a, b]
      )
      tvm.testing.assert_prim_expr_equal(m[1], 20 - 10 * c)
      tvm.testing.assert_prim_expr_equal(m[2], 2)
      m = tvm.arith.detect_clip_bound(
          tvm.tir.all(tvm.tir.Not(a * 1 > b * 6), a - 1 > 0), [a]
      )
      tvm.testing.assert_prim_expr_equal(m[1], b * 6)
      m = tvm.arith.detect_clip_bound(
          tvm.tir.all(tvm.tir.Min(a, b) > 3, a - 10 < 0), [a, b]
      )
      tvm.testing.assert_prim_expr_equal(m[0], 4)
      tvm.testing.assert_prim_expr_equal(m[1], 9)
      tvm.testing.assert_prim_expr_equal(m[2], 4)
  
imports: import tvm
  import tvm.testing
  from tvm import te
label_desc: Use image node_id 1 for calling a global function with example usage: test_basic() without return types