$! randomly generated test
D z (_. (v y))
C u (z (_. (v x)))