diff --git a/examples/simple_counter_application/app/elf/counter-guest.bin b/examples/simple_counter_application/app/elf/counter-guest.bin
index 152803d4..17035908 100644
Binary files a/examples/simple_counter_application/app/elf/counter-guest.bin and b/examples/simple_counter_application/app/elf/counter-guest.bin differ
diff --git a/examples/simple_counter_application/app/src/lib.rs b/examples/simple_counter_application/app/src/lib.rs
index 587b64f8..48eecebc 100644
--- a/examples/simple_counter_application/app/src/lib.rs
+++ b/examples/simple_counter_application/app/src/lib.rs
@@ -19,7 +19,7 @@ use serde::{Deserialize, Serialize};
 pub const SIMPLE_COUNTER_ELF: &[u8] = include_bytes!("../elf/counter-guest.bin");
 lazy_static! {
     pub static ref SIMPLE_COUNTER_ID: Digest =
-        Digest::from_hex("a10d853b677adda8f65cd920ca2a3ee83b61f60892e3c31aeb2031933d677e6c")
+        Digest::from_hex("bfb58975cdb5cb0256d0e816f735bba9d7ac5a7738b5da75fa75023d6885d535")
             .unwrap();
 }
 
diff --git a/examples/simple_counter_application/counter_witness/src/lib.rs b/examples/simple_counter_application/counter_witness/src/lib.rs
index 5068ddb7..d763276b 100644
--- a/examples/simple_counter_application/counter_witness/src/lib.rs
+++ b/examples/simple_counter_application/counter_witness/src/lib.rs
@@ -57,6 +57,9 @@ impl LogicCircuit for CounterWitness {
         let new_counter_root = self.new_counter_existence_path.root(&new_cm);
         assert_eq!(old_counter_root, new_counter_root);
 
+        // Check old_counter.label_ref == new_counter.label_ref
+        assert_eq!(self.old_counter.label_ref, self.new_counter.label_ref);
+
         assert_eq!(self.old_counter.quantity, 1);
         assert_eq!(self.new_counter.quantity, 1);