diff --git a/tests/syntax/ghost_local_capture.i b/tests/syntax/ghost_local_capture.i
index 9a7ab842572e9687dfef9c2b89939b02f375acd9..4266c87b9c45f08a81233adeb258e1d958a6f6ed 100644
--- a/tests/syntax/ghost_local_capture.i
+++ b/tests/syntax/ghost_local_capture.i
@@ -1,7 +1,12 @@
 void titi() {
   int c = 0; {
+    L0: ;
     /*@ ghost int c = 1; */
+    L1: ;
     c = 2;
+    /*@ assert c == 1; */
+    /*@ assert \at(c,L0) == 0; */
+    /*@ assert \at(c,L1) == 1; */
   }
   /*@ assert c == 2; */
 }
diff --git a/tests/syntax/oracle/ghost_local_capture.res.oracle b/tests/syntax/oracle/ghost_local_capture.res.oracle
index c6d9891d8b5dae5e60b459f047d78cac9650225c..28e38a724bb6e303addb1d16bb2f7c6d1bcec896 100644
--- a/tests/syntax/oracle/ghost_local_capture.res.oracle
+++ b/tests/syntax/oracle/ghost_local_capture.res.oracle
@@ -4,8 +4,13 @@ void titi(void)
 {
   int c = 0;
   {
+    L0: ;
     /*@ ghost int c_0 = 1; */
+    L1: ;
     c = 2;
+    /*@ assert c_0 ≡ 1; */ ;
+    /*@ assert \at(c,L0) ≡ 0; */ ;
+    /*@ assert \at(c,L1) ≡ 1; */ ;
   }
   /*@ assert c ≡ 2; */ ;
   return;