1 2 3 4 5 6 7
% COMMAND-LINE: --simplification=incremental x, y: BOOLEAN; ASSERT x OR y; ASSERT NOT x; ASSERT NOT y; % EXPECT: unsat CHECKSAT;