free net:channel.

type nonce.

table cconn(bitstring,bitstring,nonce).

query a:bitstring, b:bitstring, c:nonce;
      table(cconn(a,b,c)) phase 2.

process
    new x: nonce;
    in(net, (a:bitstring, b:bitstring));
    insert cconn(a,b,x)

(* EXPECTPV
RESULT not table_p2(cconn(a_1,b_1,c)) is false.
0.004s (user 0.004s + system 0.000s), max rss 8540K
END *)
