code: def posdec(x):
      if isinstance(x, Integer) and x > 0:
          yield x - 1
      else:
          yield x
  
file_path: sympy/sympy/strategies/branch/tests/test_tools.py
imports: from sympy.strategies.branch.tools import canon
  from sympy.core.basic import Basic
  from sympy.core.numbers import Integer
  from sympy.core.singleton import S
label_desc: Use image node_id 1 for calling a global function with example usage: posdec(x) without return types