type nonce.

const cf: channel [private].

event connection().

set ignoreTypes = false.

let client () =
    new n : nonce;
    out (cf, n);
    in  (cf, b: bitstring);
    event connection().

let server() =
    in (cf, n1: nonce);
    new ret : bitstring;
    out (cf, ret).

query event(connection()).

process !client() | !server()


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