add broken complex partial evaluator test (arithmetic, nesting, min)

Add more complex test case for the partial evaluator. This currently
never terminates, so has been disabled.

conjure_oxide/tests/integration/eprime-minion/partial-eval-03/input.eprime.disabled

@@ -0,0 +1,16 @@
+language ESSENCE' 1.0
+
+
+$ nesting, sumleqs, and mins
+
+find x,y,z : int(1..5)
+find a: bool 
+
+such that
+  20 + x +  5 + y + min([(z + y),(y + x),(z + x + 5),50]) <= 40,
+  a = allDiff([x,y,z]),
+
+  $ narrow down solutions a bit
+  y <= z,
+  x <= y
+