const a: bitstring.
fun f(bitstring,bitstring): bool.

equation forall x: bitstring; f(x,x).

equation forall x: bitstring; f(x,x) <> true.

event bad.

query event(bad).

process
	if f(a,a) then event bad

(* EXPECTPV
Error: The function f cannot be declared with 'bool' as a return type.
xtime: error in child process (status : 2)
END *)
