(* Result ok:
I cannot confirm that the previous trace falsifies the query,
because the query contains fresh names.
*)

table T(bitstring).

event e(bitstring).

query event(e(new a)) ==> table(T(new a)).

nounif x:bitstring; table(T( *x)).

set traceDisplay = long.

process
	new a:bitstring;(
	event e(a) |
	insert T(a))
	

(* EXPECTPV
RESULT event(e(a[])) ==> table(T(a[])) cannot be proved.
0.004s (user 0.004s + system 0.000s), max rss 6884K
END *)
