diff --git a/prism/test.txt b/prism/test.txt
new file mode 100644
index 00000000..21336883
--- /dev/null
+++ b/prism/test.txt
@@ -0,0 +1,11 @@
+P=? [ F d=x+x2 ]:
+	0	1
+0	1.0	0.16666650772094727
+1	0.16666650772094727	0.16666650772094727
+
+
+P=? [ F d=x+x2+min(0,1) ]:
+	0	1
+0	1.0	0.16666650772094727
+1	0.16666650772094727	0.16666650772094727
+