free c: channel [private].

const a: bitstring.

event e.

query event(e) ==> false.

process
    in(c, =(event e; a)); 0

(* query event(e) ==> false. was false, that is,
event e was reachable. That shows that event e was evaluated before
the communication. Otherwise, event e would never be executed since
the communication cannot take place (there is no output on 
private channel c). 
That was not coherent with what happens in semantics10.pv
Now, the implementation is fixed: the query is true, the communication
takes place before the event.
*)

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