%% Regression level = 0
%% Result = Valid
%% Runtime = 1
%% Language = presentation

x, y : BOOLEAN;

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

QUERY FALSE;