code: def test_commutative():
      c1 = C("CAdd", (1, 2, 3))
      c2 = C("CAdd", (x, y))
      result = list(unify(c1, c2, {}))
      assert {x: 1, y: C("CAdd", (2, 3))} in result
      assert {x: 2, y: C("CAdd", (1, 3))} in result or {
          x: 2,
          y: C("CAdd", (3, 1)),
      } in result
  
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 7 for calling a global function with example usage: test_commutative() without return types