const a,b: channel.

event e1.
event e2.

query event(e2) ==> event(e1).

process
     out((event e1;b), (event e2; a))
(* check that the channel is evaluated before the message *)

(* EXPECTPV
RESULT event(e2) ==> event(e1) is true.
0.000s (user 0.000s + system 0.000s), max rss 7156K
END *)
