code: def test_and():
      variables = x, y
      expected = ({x: z > 0, y: n < 3},)
      assert iterdicteq(
          unify((z > 0) & (n < 3), And(x, y), variables=variables),
          expected,
      )
  
imports: from sympy.core.add import Add
  from sympy.core.basic import Basic
  from sympy.core.containers import Tuple
  from sympy.core.singleton import S
  from sympy.core.symbol import Symbol, symbols
  from sympy.logic.boolalg import And
  from sympy.core.symbol import Str
  from sympy.unify.core import Compound, Variable
  from sympy.unify.usympy import deconstruct, construct, unify, is_associative, is_commutative
  from sympy.abc import x, y, z, n
label_desc: Use image node_id 15 for calling a global function with example usage: test_and() without return types