code: def test_prim_func_body_mismatch():
      x_0 = te.var("x")
      y_0 = te.var("y")
      x_1 = te.var("x")
      y_1 = te.var("y")
      # counter example of same equality
      func0 = tvm.tir.PrimFunc([x_0, y_0], tvm.tir.Evaluate(x_0 + x_0))
      func1 = tvm.tir.PrimFunc([x_1, y_1], tvm.tir.Evaluate(x_1 + y_1))
      lhs_path, rhs_path = get_sequal_mismatch(func0, func1)
      expected_path = (
          ObjectPath.root().attr("body").attr("value").attr("b")
      )
      assert lhs_path == expected_path
      assert rhs_path == expected_path
  
imports: import tvm
  import numpy
  import pytest
  from tvm import te
  from tvm.runtime import ObjectPath
  from tvm.script import tir, ir
label_desc: Use image node_id 7 for calling a global function with example usage: test_prim_func_body_mismatch() without return types