(* Test failure of letfilter *)

data c/0.
data d/0.
pred p/1.
clauses p:c.

free e.
private free a,b.
query attacker:b.

process 
  if p:d then out(e,a) else out(e,b)

(* EXPECTPV
RESULT not attacker:b[] is false.
0.004s (user 0.000s + system 0.004s), max rss 6700K
END *)
