(* Fixed in version 1.84 *)

   pred p(bitstring,bitstring).

   const c:bitstring.
   elimtrue p(c,c).

   event e().
   query event(e()).

   process if p(c,c) then event e()


(* EXPECTPV
RESULT not event(e) is false.
0.000s (user 0.000s + system 0.000s), max rss 7192K
END *)
