code: def test_finally():
      try:
          with assuming(Q.integer(x)):
              1 / 0
      except ZeroDivisionError:
          pass
      assert not ask(Q.integer(x))
  
imports: from sympy.assumptions import ask, Q
  from sympy.assumptions.assume import assuming, global_assumptions
  from sympy.abc import x, y
label_desc: Use image node_id 3 for calling a global function with example usage: test_finally() without return types