ocaml/problems/bugs

   1 $! bugs 1
   2 # bug with eating firing reduction of matches
   3 D z (_. (v y))
   4 C u (z (_. (v x)))
   5
   6 $! bugs 2
   7 # algorithm tries to eat z, but should first step on x, w
   8 D z PAC
   9 C x y PAC PAC
  10 N x (w z) Z