% EXPECT: VALID
a:BOOLEAN;
b:BOOLEAN;
ASSERT(a);
QUERY(a OR b);

% EXIT: 20