type host.

channel c.

const A: host.

process
	in(c, =A);
	out(c, choice[true, false])

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