event Bob.

query event(Bob).

let Cellule(c:channel) =
  in(c,x:bitstring);
  event Bob;
  new b:bitstring;
  out(c,x).

process
  new c:channel;
  (
      new a:bitstring; out(c,a)
    | ! Cellule(c)
  )

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