code: def assert_iter_sum_failure(
      iters, dom_map, predicate=True, check_level="surjective"
  ):
      res = tvm.arith.detect_iter_map(
          list(iters),
          dom_map,
          predicate=predicate,
          check_level=check_level,
      ).indices
      assert len(res) == 0
  
imports: import tvm
  import tvm.testing
  from tvm.tir import floordiv, floormod
label_desc: Use image node_id 7 for calling a global function with example usage: assert_iter_sum_failure(iters, dom_map, predicate, check_level) without return types