  set traceDisplay = long.


free c: channel [private].
free a, b: bitstring.
free d: channel.

process
  out(c, choice[a,b]) | in(c, =a);out(d, a)

(* EXPECTPV
RESULT Observational equivalence cannot be proved.
0.008s (user 0.008s + system 0.000s), max rss 8604K
END *)
