event ok.
event ko.

query event(ko).
query event(ok).

process
	if 1 = 2 + 3 - 4 then event ok else event ko

(* EXPECTPV
RESULT not event(ko) is true.
RESULT not event(ok) is false.
0.008s (user 0.000s + system 0.008s), max rss 7552K
END *)
