1 2 3 4 5 6 7 8 9 10
a, b, c : BOOLEAN; ASSERT NOT a OR NOT b; ASSERT c OR b OR a; ASSERT b OR NOT a; ASSERT a OR NOT b OR c; % EXPECT: INVALID QUERY FALSE; % EXIT: 10