code: def inc(x: int) -> int:
      return x + 1
  
file_path: sympy/sympy/strategies/tests/test_core.py
imports: from __future__ import annotations
  from sympy.core.singleton import S
  from sympy.core.basic import Basic
  from sympy.strategies.core import null_safe, exhaust, memoize, condition, chain, tryit, do_one, debug, switch, minimize
  from io import StringIO
label_desc: Use image node_id 2 for calling a global function with example usage: inc(x) and returns: unknown