(* Should find that observational equivalence is wrong *)

param verboseRules = yes.

param channels = names.

fun enc/2.
reduc dec(enc(x,y),y) = x.

free c.
private free s,k.
noninterf s.

process
  in(dec(enc(s,k),k), =())

(* EXPECTPV
Error: Bad parameter channels=names.
xtime: error in child process (status : 2)
END *)
