code: def test_iter_map_simplify_symbolic_predicate():
      """Test itermap simplify"""
      x = tvm.tir.Var("x", "int64")
      y = tvm.tir.Var("y", "int64")
  
      n = tvm.tir.SizeVar("n", "int64")
  
      def simple_fuse0(x):
          return (x // n) * n + x % n
  
      z = x * 32 + y
      assert_iter_map_simplify(
          {simple_fuse0(z): z},
          var_dom([(x, (n + 1) // 2), (y, 32)]),
          predicate=(z < n * 16),
      )
  
      def fsymbolic_fuse2(i):
          return (i // (n * n) * n + i % (n * n) // n) * n + i % n
  
      z = x * 64 + y
      assert_iter_map_simplify(
          {fsymbolic_fuse2(z): z},
          var_dom([(x, (n * n + 1) // 2), (y, 64)]),
          predicate=(z < n * n * 32),
      )
  
imports: import tvm
  import tvm.testing
  from tvm.tir import floordiv, floormod
label_desc: Use image node_id 25 for calling a global function with example usage: test_iter_map_simplify_symbolic_predicate() and returns: unknown, unknown