free c:channel.

event A(nat).


query x:nat, x':nat;
  event(A(x)) ==> attacker(x') && x' >= x.

process
  event A(3)

(* EXPECTPV
RESULT event(A(x)) ==> attacker(x') && x' ≥ x cannot be proved.
0.008s (user 0.008s + system 0.000s), max rss 7164K
END *)
