code: def test_sall():
      expr = Basic(S(1), S(2))
      expected = Basic(S(2), S(3))
      brl = sall(inc)
  
      assert list(brl(expr)) == [expected]
  
      expr = Basic(S(1), S(2), Basic(S(3), S(4)))
      expected = Basic(S(2), S(3), Basic(S(3), S(4)))
      brl = sall(do_one(inc, identity))
  
      assert list(brl(expr)) == [expected]
  
file_path: sympy/sympy/strategies/branch/tests/test_traverse.py
imports: from sympy.core.basic import Basic
  from sympy.core.numbers import Integer
  from sympy.core.singleton import S
  from sympy.strategies.branch.traverse import top_down, sall
  from sympy.strategies.branch.core import do_one, identity
label_desc: Use image node_id 5 for calling a global function with example usage: test_sall() without return types