New interesting example

diff --git a/ocaml/problems/simple.evil2 b/ocaml/problems/simple.evil2
index 6bff97787b5fed7cb6650ba16b0e2346fd1b7ebf..eb0b5bcff2b4dcba0456c789fd7ae495e0b76456 100644 (file)
--- a/ocaml/problems/simple.evil2
+++ b/ocaml/problems/simple.evil2
@@ -1,3 +1,8 @@
+$! stepping on useless arg for special_k++
+D x x1
+C x (x. x1) r
+C x v
+
 $! the measure of the divergent is not sufficient
 D x y
 C x (y a)