1 files changed, 4 insertions, 0 deletions
diff --git a/Test/og/Program1.bpl b/Test/og/Program1.bpl
index 56620da2..5a3ba93d 100644
--- a/Test/og/Program1.bpl
+++ b/Test/og/Program1.bpl
@@ -15,11 +15,15 @@ ensures {:phase 1} x >= 8;
     yield;
     assert {:phase 1} x >= 7;
     call Incr(1); 
+    yield;
+    assert {:phase 1} x >= 8; 
 }
 
 procedure {:yields} {:phase 1} q() 
 { 
+    yield;
     call Incr(3); 
+    yield;
 }
 
 procedure {:yields} {:phase 0,1} Incr(val: int);