diff --git a/reactics-bdd/in/trivial.rs b/reactics-bdd/in/trivial.rs
new file mode 100644
index 0000000..ade9563
--- /dev/null
+++ b/reactics-bdd/in/trivial.rs
@@ -0,0 +1,22 @@
+options { use-context-automaton; };
+
+reactions {
+    m {
+        {{e1,e4},{e2} -> {e1,e2}}; 
+        {{e2},{e4} -> {e1,e3,e4}}; 
+	{{e1,e3},{e2} -> {e1,e2}};
+	{{e3},{e2} -> {e1}};
+    };
+
+};
+
+context-automaton {
+	states { s0, s1 };
+    init-state { s0 };
+	transitions {
+		{ m={e1,e4} }: s0 -> s1;
+		{ m={} }: s1 -> s1;
+		{ m={e4} }: s1 -> s1;
+	};
+};
+