channel c.

free s : bitstring [private].

query attacker(s).

process
	phase 2; phase 1; out(c, s)

(* EXPECTPV
Error: phases should be in increasing order.
xtime: error in child process (status : 2)
END *)
