set movenew = true.

event e1.

query event(e1) public_vars a.

type nonce.
channel c.

process
	new a: nonce;
	in(c, x:nonce);
	if x = a then
	event e1
	

(* EXPECTPV
RESULT not event(e1) public_vars a is false.
0.004s (user 0.004s + system 0.000s), max rss 7240K
END *)
