D x y
C x (a. y (a b))
-$! stepping on useless arg
-D x0 x1
-C x9 (x0 x0) (x1 x7 x8)
+$! algorithm diverges
+D x y x
+C x x x
+C y y y a
+
+$! algorithm diverges reaching the previous configuration!
+D x y
+C x x
+C y y a
-$! algorithm diverges!
-D x0 x1
-C x9 (x0 x0) (x1 x1 x8)
+$! stepping on useless arg
+D x y
+C x x
+C y a b