$! bugs 1
# bug with eating firing reduction of matches
D z (_. (v y))
C u (z (_. (v x)))

$! bugs 2
# algorithm tries to eat z, but should first step on x, w
D z PAC
C x y PAC PAC
N x (w z) Z