code: def test_exhaust():
      brl = exhaust(branch5)
      assert set(brl(3)) == {0}
      assert set(brl(7)) == {10}
      assert set(brl(5)) == {0, 10}
  
file_path: sympy/sympy/strategies/branch/tests/test_core.py
imports: from sympy.strategies.branch.core import exhaust, debug, multiplex, condition, notempty, chain, onaction, sfilter, yieldify, do_one, identity
label_desc: Use image node_id 6 for calling a global function with example usage: test_exhaust() without return types