Test for WF to DF transformation