table T(bitstring).

free a: bitstring.
free c: channel.

event bad.
query event(bad).

process
	insert T(a) | get T(=a) in 0 else event bad

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