% COMMAND-LINE: --incremental
x: BOOLEAN;

PUSH;
ASSERT x;
% EXPECT: sat
CHECKSAT;
POP;
ASSERT (NOT x);
% EXPECT: sat
CHECKSAT;