Added problems that fail when eat is done incorrectly

i.e. on arguments before the max arity in the conv

diff --git a/ocaml/problems/simple.constants.eat.1 b/ocaml/problems/simple.constants.eat.1
new file mode 100644 (file)
index 0000000..a270bf2
--- /dev/null
+++ b/ocaml/problems/simple.constants.eat.1
@@ -0,0 +1,7 @@
+$!\r
+D x a b c d e f\r
+C y (x a b)\r
+\r
+$!\r
+D x C C @\r
+C y (x @ @ @)\r