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