INORDER = in clk ny4 sample nx1 nx2;
OUTORDER = ny3 clk ny5 in nx1 viol sample;
viol = ny0*ny1;
ny0 = n_n9 + n_n12;
ny1 = n_n5 + n_n8;
ny3 = !ny4 + viol;
n_n1 = !ny0*!ny4;
n_n0 = sample*ny4;
ny5 = n_n0 + n_n1;
n_n8 = in*nx1;
n_n5 = !in*!nx1;
n_n12 = nx1*nx2;
n_n9 = !nx1*!nx2;