code: def test_regression_simplify_inf_recursion():
      ana = tvm.arith.Analyzer()
      cond = tir.Var("cond", "int32")
  
      res = (
          tvm.tir.NE(cond, 0).astype("int8")
          - tvm.tir.NE(cond, 0).astype("int8")
      ).astype("int32") == 0
      # regression in a previous case
      # try compare and int set recursive call can cause infinite loop
      ana.rewrite_simplify(res)
  
imports: import tvm
  import tvm.testing
  from tvm import tir
label_desc: Use image node_id 3 for calling a global function with example usage: test_regression_simplify_inf_recursion() without return types