set allowDiffPatterns = true.

channel c.

process
      in(c, in_t: bitstring);
      let diff[diff[x,y],z] = in_t in
      out(c, diff[y,z])

(* EXPECTPV
Error: nested diff or choice patterns are forbidden.
xtime: error in child process (status : 2)
END *)
