code: def test_assuming_nested():
      assert not ask(Q.integer(x))
      assert not ask(Q.integer(y))
      with assuming(Q.integer(x)):
          assert ask(Q.integer(x))
          assert not ask(Q.integer(y))
          with assuming(Q.integer(y)):
              assert ask(Q.integer(x))
              assert ask(Q.integer(y))
          assert ask(Q.integer(x))
          assert not ask(Q.integer(y))
      assert not ask(Q.integer(x))
      assert not ask(Q.integer(y))
  
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 2 for calling a global function with example usage: test_assuming_nested() without return types