code: def test_region_lower_bound_negative_scale():
      i = tvm.tir.Var("i", "int32")
      j = tvm.tir.Var("j", "int32")
      var_dom = {
          i: tvm.ir.Range(begin=0, end=4),
          j: tvm.ir.Range(begin=0, end=4),
      }
      check_region_bound(
          {(1 - i, 5 - i): (-2, 5), (20 - j * 4, 36 - j * 4): (8, 36)},
          var_dom,
          mode="lowerbound",
      )
  
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 14 for calling a global function with example usage: test_region_lower_bound_negative_scale() without return types