code: def test_trivial_eq():
      a = te.var("a")
      b = te.var("b")
      m = tvm.arith.detect_clip_bound(b == 3, [a, b])
      tvm.testing.assert_prim_expr_equal(m[2], 3)
      tvm.testing.assert_prim_expr_equal(m[3], 3)
      m = tvm.arith.detect_clip_bound(
          tvm.tir.all(a == 4, b == 3), [a, b]
      )
      tvm.testing.assert_prim_expr_equal(m[0], 4)
      tvm.testing.assert_prim_expr_equal(m[1], 4)
      tvm.testing.assert_prim_expr_equal(m[2], 3)
      tvm.testing.assert_prim_expr_equal(m[3], 3)
  
imports: import tvm
  import tvm.testing
  from tvm import te
label_desc: Use image node_id 2 for calling a global function with example usage: test_trivial_eq() without return types