(* 

The system should reject destructors that introduce new variables on the
right-hand side

*)

fun g/2.
reduc f(x) = g(x,y).

private free secret.
noninterf secret.

process 
	new d;
	out(d, secret)

(* EXPECTPV
Error: All variables of the right-hand side of a "reduc" definition
xtime: error in child process (status : 2)
END *)
