code: def test_sub():
      assert h - l == h - x == 1
      assert l - h == x - h == 2
      assert x - l == -(l - x) == x + 1
  
imports: from sympy.core.decorators import call_highest_priority
  from sympy.core.expr import Expr
  from sympy.core.mod import Mod
  from sympy.core.numbers import Integer
  from sympy.core.symbol import Symbol
  from sympy.functions.elementary.integers import floor
label_desc: Use image node_id 3 for calling a global function with example usage: test_sub() without return types