code: def verify(self, data, dmap, expected):
      res = self.analyzer.int_set(data, dmap)
  
      def err_msg():
          return "\ndata={}\ndmap={}\nres={}\nexpected={}".format(
              data, dmap, res, expected
          )
  
      assert self.analyzer.can_prove_equal(
          res.min_value, expected[0]
      ), err_msg()
      assert self.analyzer.can_prove_equal(
          res.max_value, expected[1]
      ), err_msg()
  
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 2 for calling the IntSetChecker obj's underlying member method code with example usage: obj.verify(data, dmap, expected) and returns: str