x, y : BOOLEAN;

ASSERT (x OR y);
ASSERT NOT (x OR y);

% EXPECT: valid
QUERY FALSE;