diff --git a/examples/Running examples/plus_or_minus/A_expected.dot b/examples/Running examples/plus_or_minus/A_expected.dot
new file mode 100644
index 0000000..e4c5fc9
--- /dev/null
+++ b/examples/Running examples/plus_or_minus/A_expected.dot	
@@ -0,0 +1,8 @@
+digraph A {
+  0;
+  1;
+  
+  
+  0 -> 1 [label="B!Secret(n: i32)", ];
+  
+  }
diff --git a/examples/Running examples/plus_or_minus/B_expected.dot b/examples/Running examples/plus_or_minus/B_expected.dot
new file mode 100644
index 0000000..787487b
--- /dev/null
+++ b/examples/Running examples/plus_or_minus/B_expected.dot	
@@ -0,0 +1,14 @@
+digraph B {
+  0;
+  1;
+  3;
+  7;
+  
+  
+  0 -> 1 [label="A?Secret(n: i32)", ];
+  1 -> 3 [label="C?Guess(x: i32)", ];
+  3 -> 1 [label="C!Less(x: i32{x > n})", ];
+  3 -> 1 [label="C!More(x: i32{x < n})", ];
+  3 -> 7 [label="C!Correct(x: i32{x = n})", ];
+  
+  }
diff --git a/examples/Running examples/plus_or_minus/C_expected.dot b/examples/Running examples/plus_or_minus/C_expected.dot
new file mode 100644
index 0000000..7eef8b9
--- /dev/null
+++ b/examples/Running examples/plus_or_minus/C_expected.dot	
@@ -0,0 +1,12 @@
+digraph C {
+  0;
+  2;
+  6;
+  
+  
+  0 -> 2 [label="B!Guess(x: i32)", ];
+  2 -> 0 [label="B?Less(x: i32{x > n})", ];
+  2 -> 0 [label="B?More(x: i32{x < n})", ];
+  2 -> 6 [label="B?Correct(x: i32{x = n})", ];
+  
+  }