code: def __init__(self):
      self.analyzer = tvm.arith.Analyzer()
  
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 1 to create a new IntSetChecker object  with example: obj = IntSetChecker()