def test_global():
 global_assumptions.add(Q.is_true((x > 0)))
 assert (Q.is_true((x > 0)) in global_assumptions)
 global_assumptions.remove(Q.is_true((x > 0)))
 assert (not (Q.is_true((x > 0)) in global_assumptions))
 global_assumptions.add(Q.is_true((x > 0)), Q.is_true((y > 0)))
 assert (Q.is_true((x > 0)) in global_assumptions)
 assert (Q.is_true((y > 0)) in global_assumptions)
 global_assumptions.clear()
 assert (not (Q.is_true((x > 0)) in global_assumptions))
 assert (not (Q.is_true((y > 0)) in global_assumptions))

def test_global ( ) : global_assumptions . add ( Q . is_true ( ( x > 0 ) ) ) assert ( Q . is_true ( ( x > 0 ) ) in global_assumptions ) global_assumptions . remove ( Q . is_true ( ( x > 0 ) ) ) assert ( not ( Q . is_true ( ( x > 0 ) ) in global_assumptions ) ) global_assumptions . add ( Q . is_true ( ( x > 0 ) ) , Q . is_true ( ( y > 0 ) ) ) assert ( Q . is_true ( ( x > 0 ) ) in global_assumptions ) assert ( Q . is_true ( ( y > 0 ) ) in global_assumptions ) global_assumptions . clear ( ) assert ( not ( Q . is_true ( ( x > 0 ) ) in global_assumptions ) ) assert ( not ( Q . is_true ( ( y > 0 ) ) in global_assumptions ) )
test for global assumptions .