diff --git a/examples/simplification_prepare2.dl b/examples/simplification_prepare2.dl
new file mode 100644
index 0000000..ddcceaf
--- /dev/null
+++ b/examples/simplification_prepare2.dl
@@ -0,0 +1,5 @@
+source x('A':int).
+view v('A':int).
+
++x(A) :- x(A), v(A), A <> 42.
+-x(A) :- +x(A), +v(A).