ocaml/problems/simple.evil2

   1 $! the measure of the divergent is not sufficient
   2 D x y
   3 C x (y a)
   4
   5 $! the measure of the divergent is badly not sufficient
   6 D x y
   7 C x (a. y (a b))
   8
   9 $! algorithm diverges
  10 D x y x
  11 C x x x
  12 C y y y a
  13
  14 $! algorithm diverges reaching the previous configuration!
  15 D x y
  16 C x x
  17 C y y a
  18
  19 $! stepping on useless arg
  20 D x y
  21 C x x
  22 C y a b