free c:channel.

event A.
event B(nat).

query event(A).

process
  in(c,i:nat);
  if is_nat(i+4) then
  event A

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