code: def test_build_product_order():
      assert build_product_order(
          (("grlex", x, y), ("grlex", z, t)), [x, y, z, t]
      )((4, 5, 6, 7)) == ((9, (4, 5)), (13, (6, 7)))
  
      assert build_product_order(
          (("grlex", x, y), ("grlex", z, t)), [x, y, z, t]
      ) == build_product_order(
          (("grlex", x, y), ("grlex", z, t)), [x, y, z, t]
      )
  
file_path: sympy/sympy/polys/tests/test_orderings.py
imports: from sympy.polys.orderings import monomial_key, lex, grlex, grevlex, ilex, igrlex, LexOrder, InverseOrder, ProductOrder, build_product_order
  from sympy.abc import x, y, z, t
  from sympy.core import S
  from sympy.testing.pytest import raises
label_desc: Use image node_id 7 for calling a global function with example usage: test_build_product_order() without return types