1 2 3 4 5 6 7 8 9 10 11
%% Regression level = 0 %% Result = Valid %% Runtime = 1 %% Language = presentation x, y : BOOLEAN; ASSERT (x OR y); ASSERT NOT (x OR y); QUERY FALSE;