1 files changed, 3 insertions, 0 deletions
diff --git a/Test/og/Program2.bpl b/Test/og/Program2.bpl
index 7713a5d2..e4380655 100644
--- a/Test/og/Program2.bpl
+++ b/Test/og/Program2.bpl
@@ -12,11 +12,14 @@ ensures {:phase 1} x >= 8;
     call Incr(1); 
     call yield_x(7);
     call Incr(1); 
+    call yield_x(8);
 }
 
 procedure {:yields} {:phase 1} q() 
 { 
+    yield;
     call Incr(3); 
+    yield;
 }
 
 procedure {:yields} {:phase 0,1} Incr(val: int);