% Tests the invariants for multiple queries.

a, b: BOOLEAN;

% EXPECT: VALID
QUERY (a AND b) OR NOT (a AND b);

% EXPECT: INVALID
QUERY (a OR b);

% EXIT: 10