ocaml/problems/simple.evil2

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