fun h(bitstring):channel.
free a:bitstring.
free c:channel.
free k:bitstring [private].
event A.

query event(A).

process
  in(h(a),x:bitstring); event A

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