(* 

The system should detect that c0 is published, since f(h(c0)) = j(h(c0)) = c0
The reduction rules of destructors must be closed under equations.

*)

private fun c0/0.
fun j/1.
fun h/1.

equation j(h(x)) = x.

reduc f(x) = j(x).

query attacker:c0.

free c.

process out(c,f(h(c0)))

(* EXPECTPV
RESULT not attacker:c0() is false.
0.008s (user 0.004s + system 0.004s), max rss 6820K
END *)
