(* Bug with subsumption that ignores closed public attacker facts *)

param feature = false.

private fun k/0.

(* channel *)
free c.

free w0.
private free w.
noninterf w among (k, w0).

process	out(c, w)

(* EXPECTPV
RESULT Non-interference w among (k(), w0[]) cannot be proved.
0.020s (user 0.004s + system 0.016s), max rss 8576K
END *)
