const c : channel.
const a : bitstring.
event e.
query event(e).

process
    in(c, =a);
    event e

(* EXPECTPV
RESULT not event(e) is false.
0.004s (user 0.004s + system 0.000s), max rss 7212K
END *)
