D z (y (x a b))
C z (x BOMB)
C z (_._.BOT)
C y (x a b)

#
 - z must step
 - x can't step
 - x y can eat, but then a number applied to b must converge
   (possible encoding numbers as `\lambda...\lambda. old_encoding`)