1 2 3 4 5 6 7 8
x, y : BOOLEAN; ASSERT (x OR y); ASSERT NOT (x OR y); % EXPECT: valid QUERY FALSE; % EXIT: 20