code: def test_ops():
      assert list(
          unify(C("Add", (a, b, c)), C("Add", (a, x, y)), {})
      ) == [{x: b, y: c}]
      assert list(
          unify(
              C("Add", (C("Mul", (1, 2)), b, c)),
              C("Add", (x, y, c)),
              {},
          )
      ) == [{x: C("Mul", (1, 2)), y: b}]
  
file_path: sympy/sympy/unify/tests/test_unify.py
imports: from sympy.unify.core import Compound, Variable, CondVariable, allcombinations
  from sympy.unify import core
label_desc: Use image node_id 5 for calling a global function with example usage: test_ops() without return types